ghc/docs/users_guide/Makefile

   1 TOP = ../..
   2 include $(TOP)/mk/boilerplate.mk
   3
   4 ifeq "$(BIN_DIST)" "1"
   5 install :: html dvi info
   6 endif
   7
   8 # Split up the pages on a per-sect2 basis. Big HTML docs
   9 # are a pain to flick through and use.
  10 SRC_SGML2HTML_OPTS += -s 1
  11
  12 SGML_DOC = users_guide
  13
  14 # Generating index is semi-automatic, you need to:
  15 #
  16 #    make users_guide.dvi ; make index ; make users_guide.dvi
  17 #
  18 # To work, it depends on you tweaking
  19 #
  20 #      lib/sgml-tools/dist/sgmltool/latex2e/mapping
  21 #
  22 # to instead of saying
  23 #
  24 # </article>      +       "\\end{document}"       +
  25 #
  26 # say
  27 #
  28 # </article>      +       "\\InputIfFileExists{index}{}{}"
  29 #                         "\\end{document}"       +
  30 #
  31 # That partially works around the problem, if nothing else.
  32 #
  33 index : users_guide.dvi
  34         makeindex users_guide
  35         @$(RM) $@
  36         $(CP) users_guide.ind $@
  37         $(RM) users_guide.dvi
  38
  39
  40 include $(TOP)/mk/target.mk