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=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=5a3e1ffab33bae90cdfd8cd73b5d66ce18f7b9bc;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/doc/manual/Makefile b/helm/DEVEL/pxp/pxp/doc/manual/Makefile
deleted file mode 100644
index 5a3e1ffab..000000000
--- a/helm/DEVEL/pxp/pxp/doc/manual/Makefile
+++ /dev/null
@@ -1,82 +0,0 @@
-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