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 342589978dac..3e78ce823e6a 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
--
GitLab