]> matita.cs.unibo.it Git - helm.git/blob - helm/helm_data/Makefile.in
configuration improvements
[helm.git] / helm / helm_data / Makefile.in
1
2 HELM_DTD_DIR=@HELM_DTD_DIR@
3 HELM_STYLE_DIR=@HELM_STYLE_DIR@
4
5 all:
6
7 install:
8         cp dtd/* $(HELM_DTD_DIR)
9         cp style/*.xsl $(HELM_STYLE_DIR)
10
11 clean:
12         
13 distclean: clean
14         rm -f Makefile configure config.log config.cache config.status *.spec
15         rm -rf dtd style
16
17 .PHONY: all install distclean