From 83f88146a481c76efda6b13edca514e758236080 Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Fri, 28 May 1999 13:20:10 +0000
Subject: [PATCH] [project @ 1999-05-28 13:20:10 by sof] semi-automatic
 support for indexing

---
 ghc/docs/users_guide/Makefile |   26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/ghc/docs/users_guide/Makefile b/ghc/docs/users_guide/Makefile
index 3425899..3e78ce8 100644
--- a/ghc/docs/users_guide/Makefile
+++ b/ghc/docs/users_guide/Makefile
@@ -11,4 +11,30 @@ 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
+
+
 include $(TOP)/mk/target.mk
-- 
1.7.10.4