[project @ 2002-07-03 11:07:58 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 7c67def..81b4412 100644 (file)
--- a/ghc/docs/users_guide/Makefile
+++ b/ghc/docs/users_guide/Makefile
@@ -1,6 +1,33 @@
 TOP = ../..
 include $(TOP)/mk/boilerplate.mk
 
-DOC_SRCS = profiling.lit user.lit
+SGML_DOC = users_guide
+INSTALL_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
+
 
 include $(TOP)/mk/target.mk