[project @ 1998-12-02 13:17:09 by simonm]

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

diff --git a/ghc/docs/users_guide/Makefile b/ghc/docs/users_guide/Makefile
index 7c67def..da031a0 100644 (file)
--- a/ghc/docs/users_guide/Makefile
+++ b/ghc/docs/users_guide/Makefile
@@ -1,6 +1,10 @@
 TOP = ../..
 include $(TOP)/mk/boilerplate.mk
 
-DOC_SRCS = profiling.lit user.lit
+ifeq "$(BIN_DIST)" "1"
+install :: html dvi info
+endif
+
+SGML_DOC = users_guide
 
 include $(TOP)/mk/target.mk