1 DOCBOOK_HTML = /usr/share/sgml/docbkdsl/html
2 DOCBOOK_PRINT = /usr/share/sgml/docbkdsl/print
9 html: html/book1.htm html/pic/done
11 ps: ps/markup.ps ps/pic/done
14 src/readme.ent: ../../examples/readme/to_html.ml
15 src/getcode.ml <../../examples/readme/to_html.ml >src/readme.ent
17 src/yacc.mli.ent: ../../pxp_yacc.mli
18 src/getcode.ml <../../pxp_yacc.mli >src/yacc.mli.ent
20 src/dtd.mli.ent: ../../pxp_dtd.mli
21 src/getcode.ml <../../pxp_dtd.mli >src/dtd.mli.ent
23 html/book1.htm: src/*.sgml src/readme.ent src/yacc.mli.ent src/dtd.mli.ent
25 cp src/markup.css html; \
28 jade -t sgml -D$(DOCBOOK_HTML) -D$(SRC) -ihtml markup.sgml; \
32 html/pic/done: src/pic/*.fig
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
38 #man: src/findlib_reference.xml
42 # db2man <../src/findlib_reference.xml
44 ps/markup.tex: src/*.sgml src/readme.ent src/yacc.mli.ent src/dtd.mli.ent
47 jade -t tex -D$(DOCBOOK_PRINT) -D$(SRC) markup.sgml; \
50 ps/markup.dvi: ps/markup.tex ps/pic/done
56 ps/markup.ps: ps/markup.dvi
58 dvips -f <markup.dvi >markup.ps
60 ps/pic/done: src/pic/*.fig
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
69 sx -xndata $< >$@; true
82 rm -f ps/*.aux ps/*.dvi ps/*.log ps/*.tex