[project @ 2004-08-08 17:26:26 by krasimir]

[ghc-hetmet.git] / ghc / docs / users_guide / Makefile

diff --git a/ghc/docs/users_guide/Makefile b/ghc/docs/users_guide/Makefile
index a45ac78..81b4412 100644 (file)
--- a/ghc/docs/users_guide/Makefile
+++ b/ghc/docs/users_guide/Makefile
@@ -1,11 +1,8 @@
 TOP = ../..
 include $(TOP)/mk/boilerplate.mk
 
-ifeq "$(BIN_DIST)" "1"
-install :: html dvi info
-endif
-
 SGML_DOC = users_guide
+INSTALL_SGML_DOC = users_guide
 
 # Generating index is semi-automatic, you need to:
 #