diff --git a/ghc/docs/users_guide/Makefile b/ghc/docs/users_guide/Makefile index 342589978dac4ba389f2216fcfbbc8ed6327758d..3e78ce823e6ac67860290c79e81507280839acd8 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