DOCBOOK_HTML = /usr/share/sgml/docbkdsl/html
DOCBOOK_PRINT = /usr/share/sgml/docbkdsl/print
SRC = $(PWD)/src
.PHONY: html ps
default: html ps
html: html/book1.htm html/pic/done
ps: ps/markup.ps ps/pic/done
src/readme.ent: ../../examples/readme/to_html.ml
src/getcode.ml <../../examples/readme/to_html.ml >src/readme.ent
src/yacc.mli.ent: ../../pxp_yacc.mli
src/getcode.ml <../../pxp_yacc.mli >src/yacc.mli.ent
src/dtd.mli.ent: ../../pxp_dtd.mli
src/getcode.ml <../../pxp_dtd.mli >src/dtd.mli.ent
html/book1.htm: src/*.sgml src/readme.ent src/yacc.mli.ent src/dtd.mli.ent
mkdir -p html
cp src/markup.css html; \
cd html; \
rm -f *.htm*; \
jade -t sgml -D$(DOCBOOK_HTML) -D$(SRC) -ihtml markup.sgml; \
true
touch html/TIMESTAMP
html/pic/done: src/pic/*.fig
mkdir -p html/pic
l=`cd src/pic; echo *.fig`; \
for x in $$l; do fig2dev -L gif src/pic/$$x html/pic/`basename $$x .fig`.gif; done
touch html/pic/done
#man: src/findlib_reference.xml
# mkdir -p man
# cd man; \
# rm -f *.[0-9]; \
# db2man <../src/findlib_reference.xml
ps/markup.tex: src/*.sgml src/readme.ent src/yacc.mli.ent src/dtd.mli.ent
mkdir -p ps
cd ps; \
jade -t tex -D$(DOCBOOK_PRINT) -D$(SRC) markup.sgml; \
true
ps/markup.dvi: ps/markup.tex ps/pic/done
cd ps; \
jadetex markup.tex; \
jadetex markup.tex; \
jadetex markup.tex
ps/markup.ps: ps/markup.dvi
cd ps; \
dvips -f markup.ps
ps/pic/done: src/pic/*.fig
mkdir -p ps/pic
l=`cd src/pic; echo *.fig`; \
for x in $$l; do fig2dev -L ps -m 0.8 src/pic/$$x ps/pic/`basename $$x .fig`.ps; done
touch ps/pic/done
.SUFFIXES: .xml .sgml
.sgml.xml:
sx -xndata $< >$@; true
clean:
rm -rf html man ps
rm -f src/readme.ent
CLEAN: clean
distclean:
rm -f src/*~
rm -f *~
rm -f ps/*.aux ps/*.dvi ps/*.log ps/*.tex