[project @ 2005-03-07 13:18:19 by simonmar]

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

diff --git a/ghc/docs/users_guide/Makefile b/ghc/docs/users_guide/Makefile
index 3425899..f0a31fb 100644 (file)
--- a/ghc/docs/users_guide/Makefile
+++ b/ghc/docs/users_guide/Makefile
@@ -1,14 +1,7 @@
 TOP = ../..
 include $(TOP)/mk/boilerplate.mk
 
-ifeq "$(BIN_DIST)" "1"
-install :: html dvi info
-endif
-
-# Split up the pages on a per-sect2 basis. Big HTML docs
-# are a pain to flick through and use.
-SRC_SGML2HTML_OPTS += -s 1
-
-SGML_DOC = users_guide
+XML_DOC = users_guide
+INSTALL_XML_DOC = users_guide
 
 include $(TOP)/mk/target.mk