]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/examples/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / examples / Makefile
1 .PHONY: all
2 all:
3
4 .PHONY: clean
5 clean:
6
7 .PHONY: CLEAN
8 CLEAN: clean
9         $(MAKE) -C xmlforms CLEAN
10         $(MAKE) -C validate CLEAN
11         $(MAKE) -C readme CLEAN
12         $(MAKE) -C simple_transformation CLEAN
13
14 .PHONY: distclean
15 distclean: clean
16         rm -f *~
17         $(MAKE) -C xmlforms distclean
18         $(MAKE) -C validate distclean
19         $(MAKE) -C readme distclean
20         $(MAKE) -C simple_transformation distclean
21
22