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