GNOME/gnome-main-menu — pull request #5 by tarakbumba (2014-12-14 01:33:36+00:00)
Title: - Help button opens mate-user-guide fix

Help button currently opens a blank yelp page. This commit makes "Help" button to open mate-user-guide; if installed.