]> www.ginac.de Git - ginac.git/commitdiff
- target distclean removes G__*, which are sometimes left behind. :-(
authorRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Tue, 26 Sep 2000 18:22:43 +0000 (18:22 +0000)
committerRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Tue, 26 Sep 2000 18:22:43 +0000 (18:22 +0000)
cint/Makefile.am

index 8d49963b07959a1a45d26fd9fad6e9230030e302..d0d8e93c6517bce9f17d4aac3100745c2cbbad8b 100644 (file)
@@ -21,4 +21,4 @@ makecint_clean:
 clean: makecint_clean
 
 distclean: makecint_clean
-       rm -f Makefile.makecint
+       rm -f Makefile.makecint G__*