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

diff --git a/helm/DEVEL/pxp/pxp/doc/Makefile b/helm/DEVEL/pxp/pxp/doc/Makefile
new file mode 100644
index 000000000..0ed12741c
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/doc/Makefile
@@ -0,0 +1,43 @@
+.PHONY: all
+all: README INSTALL ABOUT-FINDLIB SPEC PRERELEASE EXTENSIONS
+
+README: README.xml common.xml config.xml
+	readme -text README.xml >README
+
+INSTALL: INSTALL.xml common.xml config.xml
+	readme -text INSTALL.xml >INSTALL
+
+ABOUT-FINDLIB: ABOUT-FINDLIB.xml common.xml config.xml
+	readme -text ABOUT-FINDLIB.xml >ABOUT-FINDLIB
+
+SPEC: SPEC.xml common.xml config.xml
+	readme -text SPEC.xml >SPEC
+
+EXTENSIONS: EXTENSIONS.xml common.xml config.xml
+	readme -text EXTENSIONS.xml >EXTENSIONS
+
+PRERELEASE: PRERELEASE.xml common.xml config.xml
+	readme -text PRERELEASE.xml >PRERELEASE
+
+config.xml:
+	touch config.xml
+
+common.xml:
+	ln -s dist-common.xml common.xml 
+
+.PHONY: clean
+clean:
+
+.PHONY: CLEAN
+CLEAN: clean
+	$(MAKE) -C manual CLEAN
+
+.PHONY: distclean
+distclean: clean
+	rm -f *~
+	$(MAKE) -C manual distclean
+
+.PHONY: symlinks
+symlinks:
+	ln -s ../examples/readme/readme.dtd .
+