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