diff --git a/other-docs.patch b/other-docs.patch
new file mode 100644
index 0000000..dae4dce
--- /dev/null
+++ b/other-docs.patch
@@ -0,0 +1,11 @@
+diff -up gnome-menus-2.30.0/layout/applications.menu.other-docs gnome-menus-2.30.0/layout/applications.menu
+--- gnome-menus-2.30.0/layout/applications.menu.other-docs	2010-04-07 16:04:38.790906347 -0400
++++ gnome-menus-2.30.0/layout/applications.menu	2010-04-07 16:15:58.490739146 -0400
+@@ -147,6 +147,7 @@
+         <Not><Category>Core</Category></Not>
+         <Not><Category>Settings</Category></Not>
+         <Not><Category>Screensaver</Category></Not>
++        <Not><Category>Documentation</Category></Not>
+       </And>
+     </Include>
+   </Menu> <!-- End Other -->