helm/DEVEL/pxp/pxp/doc/manual/Makefile

   1 DOCBOOK_HTML = /usr/share/sgml/docbkdsl/html
   2 DOCBOOK_PRINT = /usr/share/sgml/docbkdsl/print
   3 SRC = $(PWD)/src
   4
   5 .PHONY: html ps
   6
   7 default: html ps
   8
   9 html: html/book1.htm html/pic/done
  10
  11 ps: ps/markup.ps ps/pic/done
  12
  13
  14 src/readme.ent: ../../examples/readme/to_html.ml
  15         src/getcode.ml <../../examples/readme/to_html.ml >src/readme.ent
  16
  17 src/yacc.mli.ent: ../../pxp_yacc.mli
  18         src/getcode.ml <../../pxp_yacc.mli >src/yacc.mli.ent
  19
  20 src/dtd.mli.ent: ../../pxp_dtd.mli
  21         src/getcode.ml <../../pxp_dtd.mli >src/dtd.mli.ent
  22
  23 html/book1.htm: src/*.sgml src/readme.ent src/yacc.mli.ent src/dtd.mli.ent
  24         mkdir -p html
  25         cp src/markup.css html; \
  26         cd html; \
  27         rm -f *.htm*; \
  28         jade -t sgml -D$(DOCBOOK_HTML) -D$(SRC) -ihtml markup.sgml; \
  29         true
  30         touch html/TIMESTAMP
  31
  32 html/pic/done: src/pic/*.fig
  33         mkdir -p html/pic
  34         l=`cd src/pic; echo *.fig`; \
  35         for x in $$l; do fig2dev -L gif src/pic/$$x html/pic/`basename $$x .fig`.gif; done
  36         touch html/pic/done
  37
  38 #man: src/findlib_reference.xml
  39 #       mkdir -p man
  40 #       cd man; \
  41 #       rm -f *.[0-9]; \
  42 #       db2man <../src/findlib_reference.xml
  43
  44 ps/markup.tex: src/*.sgml src/readme.ent src/yacc.mli.ent src/dtd.mli.ent
  45         mkdir -p ps
  46         cd ps; \
  47         jade -t tex -D$(DOCBOOK_PRINT) -D$(SRC) markup.sgml; \
  48         true
  49
  50 ps/markup.dvi: ps/markup.tex ps/pic/done
  51         cd ps; \
  52         jadetex markup.tex; \
  53         jadetex markup.tex; \
  54         jadetex markup.tex
  55
  56 ps/markup.ps: ps/markup.dvi
  57         cd ps; \
  58         dvips -f <markup.dvi >markup.ps
  59
  60 ps/pic/done: src/pic/*.fig
  61         mkdir -p ps/pic
  62         l=`cd src/pic; echo *.fig`; \
  63         for x in $$l; do fig2dev -L ps -m 0.8 src/pic/$$x ps/pic/`basename $$x .fig`.ps; done
  64         touch ps/pic/done
  65
  66 .SUFFIXES: .xml .sgml
  67
  68 .sgml.xml:
  69         sx -xndata $< >$@; true
  70
  71
  72
  73 clean:
  74         rm -rf html man ps
  75         rm -f src/readme.ent
  76
  77 CLEAN: clean
  78
  79 distclean:
  80         rm -f src/*~
  81         rm -f *~
  82         rm -f ps/*.aux ps/*.dvi ps/*.log ps/*.tex