X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2Fmanual%2FMakefile;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2Fmanual%2FMakefile;h=5a3e1ffab33bae90cdfd8cd73b5d66ce18f7b9bc;hb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;hp=0000000000000000000000000000000000000000;hpb=758057e85325f94cd88583feb1fdf6b038e35055;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/doc/manual/Makefile b/helm/DEVEL/pxp/pxp/doc/manual/Makefile
new file mode 100644
index 000000000..5a3e1ffab
--- /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