Note about installation:

dc_gui now includes a help in the gnome format. If you don't provide a --prefix
at the configuration time, dc_gui will be installed in /usr/local/bin and its
Gnome documentation in /usr/local/share/gnome/help. The problem you may have is
that gnome only search documentation inside /usr/share/gnome/help.

