[gnome-shell] Do not exclude Documentation from applications

[Florian Müllner <fmuellner src gnome org>]

commit 7c4d4b86950c00ebdbef05ff2f7af0acebd52f36
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Jun 23 01:10:43 2010 +0200

    Do not exclude Documentation from applications
    
    There is currently no way of launching the desktop-wide help other
    then running yelp explicitly from the run dialog or a terminal. It
    should instead be included with the rest of applications.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=622458

 data/gs-applications.menu |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/data/gs-applications.menu b/data/gs-applications.menu
index 1171dae..a523ee8 100644
--- a/data/gs-applications.menu
+++ b/data/gs-applications.menu
@@ -32,7 +32,10 @@
 		<OnlyUnallocated/>
 		<Include>
 			<And>
-				<Not><Category>Core</Category></Not>
+				<Or>
+					<Category>Documentation</Category>
+					<Not><Category>Core</Category></Not>
+				</Or>
 				<Not><Category>Settings</Category></Not>
 				<Not><Category>Screensaver</Category></Not>
 			</And>