X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2FMakefile;h=81b4412f3079a5be240d9767cb71bed1558066c7;hb=2e160a48acce946bc2c94dc433e7cc50f5d725f8;hp=342589978dac4ba389f2216fcfbbc8ed6327758d;hpb=8b71efe0f44c79401f42c8d37ab13ce61dcf5516;p=ghc-hetmet.git

diff --git a/ghc/docs/users_guide/Makefile b/ghc/docs/users_guide/Makefile
index 3425899..81b4412 100644
--- a/ghc/docs/users_guide/Makefile
+++ b/ghc/docs/users_guide/Makefile
@@ -1,14 +1,33 @@
 TOP = ../..
 include $(TOP)/mk/boilerplate.mk
 
-ifeq "$(BIN_DIST)" "1"
-install :: html dvi info
-endif
+SGML_DOC = users_guide
+INSTALL_SGML_DOC = users_guide
 
-# 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
+# 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
 
-SGML_DOC = users_guide
 
 include $(TOP)/mk/target.mk