X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2FMakefile;h=f0a31fb7058ddb49591286a8b5ce2e51008c84d0;hb=72a42bd77936ad0edd7426a33b323e60323e9684;hp=3e78ce823e6ac67860290c79e81507280839acd8;hpb=83f88146a481c76efda6b13edca514e758236080;p=ghc-hetmet.git

diff --git a/ghc/docs/users_guide/Makefile b/ghc/docs/users_guide/Makefile
index 3e78ce8..f0a31fb 100644
--- a/ghc/docs/users_guide/Makefile
+++ b/ghc/docs/users_guide/Makefile
@@ -1,40 +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
-
-# Generating index is semi-automatic, you need to:
-# 
-#    make users_guide.dvi ; make index ; make users_guide.dvi
-# 
-# To work, it depends on you tweaking
-#
-#      lib/sgml-tools/dist/sgmltool/latex2e/mapping
-#
-# to instead of saying
-#
-# </article>      +       "\\end{document}"       +
-#
-# say 
-#
-# </article>      +       "\\InputIfFileExists{index}{}{}"
-#                         "\\end{document}"       +
-# 
-# That partially works around the problem, if nothing else.
-# 
-index : users_guide.dvi
-	makeindex users_guide
-	@$(RM) $@
-	$(CP) users_guide.ind $@
-	$(RM) users_guide.dvi
-
+XML_DOC = users_guide
+INSTALL_XML_DOC = users_guide
 
 include $(TOP)/mk/target.mk