Initial revision

[helm.git] / helm / DEVEL / pxp / pxp / doc / manual / Makefile

diff --git a/helm/DEVEL/pxp/pxp/doc/manual/Makefile b/helm/DEVEL/pxp/pxp/doc/manual/Makefile
new file mode 100644 (file)
index 0000000..5a3e1ff
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/doc/manual/Makefile
@@ -0,0 +1,82 @@
+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.dvi >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