diff -up gnome-menus-3.0.0/layout/applications.menu.other-docs gnome-menus-3.0.0/layout/applications.menu
--- gnome-menus-3.0.0/layout/applications.menu.other-docs	2011-03-31 02:48:41.000000000 -0400
+++ gnome-menus-3.0.0/layout/applications.menu	2011-04-04 19:06:56.826452755 -0400
@@ -147,6 +147,7 @@
         <Not><Category>Core</Category></Not>
         <Not><Category>Screensaver</Category></Not>
         <Not><Category>X-GNOME-Settings-Panel</Category></Not>
+        <Not><Category>Documentation</Category></Not>
       </And>
     </Include>
   </Menu> <!-- End Other -->