gnustep-gui-doc.patch

   1 --- gnustep-gui-0.9.3/Documentation/GNUmakefile.orig    2004-06-11 20:58:40.000000000 +0200
   2 +++ gnustep-gui-0.9.3/Documentation/GNUmakefile 2004-06-24 00:39:54.370861336 +0200
   3 @@ -77,6 +77,7 @@
   4  DOCUMENT_NAME += Gui GuiAdditions
   5  Gui_DOC_INSTALL_DIR = Developer/Gui/Reference
   6  GuiAdditions_DOC_INSTALL_DIR = Developer/Gui/Additions
   7 +GuiUser_DOC_INSTALL_DIR = User/Gui
   8
   9  -include GNUmakefile.preamble
  10