]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/doc/Makefile
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / doc / Makefile
1 .PHONY: all
2 all: README INSTALL ABOUT-FINDLIB SPEC PRERELEASE EXTENSIONS
3
4 README: README.xml common.xml config.xml
5         readme -text README.xml >README
6
7 INSTALL: INSTALL.xml common.xml config.xml
8         readme -text INSTALL.xml >INSTALL
9
10 ABOUT-FINDLIB: ABOUT-FINDLIB.xml common.xml config.xml
11         readme -text ABOUT-FINDLIB.xml >ABOUT-FINDLIB
12
13 SPEC: SPEC.xml common.xml config.xml
14         readme -text SPEC.xml >SPEC
15
16 EXTENSIONS: EXTENSIONS.xml common.xml config.xml
17         readme -text EXTENSIONS.xml >EXTENSIONS
18
19 PRERELEASE: PRERELEASE.xml common.xml config.xml
20         readme -text PRERELEASE.xml >PRERELEASE
21
22 config.xml:
23         touch config.xml
24
25 common.xml:
26         ln -s dist-common.xml common.xml 
27
28 .PHONY: clean
29 clean:
30
31 .PHONY: CLEAN
32 CLEAN: clean
33         $(MAKE) -C manual CLEAN
34
35 .PHONY: distclean
36 distclean: clean
37         rm -f *~
38         $(MAKE) -C manual distclean
39
40 .PHONY: symlinks
41 symlinks:
42         ln -s ../examples/readme/readme.dtd .
43