[project @ 2002-07-01 15:19:48 by simonmar]

set $(INSTALL_SGML_DOC)

diff --git a/ghc/docs/users_guide/Makefile b/ghc/docs/users_guide/Makefile
index a45ac78..71d4636 100644 (file)
--- a/ghc/docs/users_guide/Makefile
+++ b/ghc/docs/users_guide/Makefile
@@ -6,6 +6,7 @@ install :: html dvi info
 endif
 
 SGML_DOC = users_guide
+INSTALL_SGML_DOC = users_guide
 
 # Generating index is semi-automatic, you need to:
 #