]> matita.cs.unibo.it Git - helm.git/commitdiff
added rm *.spec in Makefile.in
authorLuca Padovani <luca.padovani@unito.it>
Thu, 25 Jan 2001 11:14:10 +0000 (11:14 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 25 Jan 2001 11:14:10 +0000 (11:14 +0000)
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