applications use it and they don't care about the GNOME Desktop help.
We can now convert gnome-user-docs to MODGNOME_HELP_FILES.
Add a RUN_DEPENDS on gnome-user-docs to gnome-panel since this is where
the link to the GNOME Desktop help gets displayed.