- target distclean removes G__*, which are sometimes left behind. :-(

[ginac.git] / cint / Makefile.am

diff --git a/cint/Makefile.am b/cint/Makefile.am
index 8d49963b07959a1a45d26fd9fad6e9230030e302..d0d8e93c6517bce9f17d4aac3100745c2cbbad8b 100644 (file)
--- a/cint/Makefile.am
+++ b/cint/Makefile.am
@@ -21,4 +21,4 @@ makecint_clean:
 clean: makecint_clean
 
 distclean: makecint_clean
-       rm -f Makefile.makecint
+       rm -f Makefile.makecint G__*