]> matita.cs.unibo.it Git - helm.git/blob - helm/helm_data/Makefile.in
Unsharing finally introduced (but just for object processing, not yet for terms
[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 dist:   clean
18         rm -rf ../@PACKAGE@-@VERSION@
19         mkdir ../@PACKAGE@-@VERSION@
20         cp -r * ../@PACKAGE@-@VERSION@
21         (cd .. ; tar cvfz @PACKAGE@-@VERSION@.tar.gz @PACKAGE@-@VERSION@ ; rm -rf @PACKAGE@-@VERSION@)
22
23 .PHONY: all install distclean