X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelm_data%2FMakefile.in;fp=helm%2Fhelm_data%2FMakefile.in;h=0000000000000000000000000000000000000000;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hp=498577fa0f5f300f0f181ff162433be1d0da0aa5;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git diff --git a/helm/helm_data/Makefile.in b/helm/helm_data/Makefile.in deleted file mode 100644 index 498577fa0..000000000 --- a/helm/helm_data/Makefile.in +++ /dev/null @@ -1,23 +0,0 @@ - -HELM_DTD_DIR=@HELM_DTD_DIR@ -HELM_STYLE_DIR=@HELM_STYLE_DIR@ - -all: - -install: - cp dtd/* $(HELM_DTD_DIR) - cp style/*.xsl $(HELM_STYLE_DIR) - -clean: - -distclean: clean - rm -f Makefile configure config.log config.cache config.status *.spec - rm -rf dtd style - -dist: clean - rm -rf ../@PACKAGE@-@VERSION@ - mkdir ../@PACKAGE@-@VERSION@ - cp -r * ../@PACKAGE@-@VERSION@ - (cd .. ; tar cvfz @PACKAGE@-@VERSION@.tar.gz @PACKAGE@-@VERSION@ ; rm -rf @PACKAGE@-@VERSION@) - -.PHONY: all install distclean