From: Luca Padovani Date: Thu, 25 Jan 2001 11:14:10 +0000 (+0000) Subject: added rm *.spec in Makefile.in X-Git-Tag: no-uwobo~10 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=6f987aaa723398a8ea478005fc547e758f0dfe16 added rm *.spec in Makefile.in --- diff --git a/helm/helm_data/Makefile.in b/helm/helm_data/Makefile.in index bf5738b22..f1ba7b438 100644 --- a/helm/helm_data/Makefile.in +++ b/helm/helm_data/Makefile.in @@ -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