]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helm_data/Makefile.in
configuration improvements
[helm.git] / helm / helm_data / Makefile.in
index f1ba7b438b680974b7e7abe9175db0a9d929e8fa..dd7f493a16b5549559e48f5e3e3d74179a3866bd 100644 (file)
@@ -8,7 +8,9 @@ install:
        cp dtd/* $(HELM_DTD_DIR)
        cp style/*.xsl $(HELM_STYLE_DIR)
 
-distclean:
+clean:
+       
+distclean: clean
        rm -f Makefile configure config.log config.cache config.status *.spec
        rm -rf dtd style