"make distclean" didn't remove all necessary files
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Wed, 31 Oct 2001 18:04:27 +0000 (18:04 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Wed, 31 Oct 2001 18:04:27 +0000 (18:04 +0000)
check/Makefile.am
ginsh/Makefile.am

index 459799e..f4406cb 100644 (file)
@@ -24,5 +24,5 @@ times_LDADD = ../ginac/libginac.la
 
 INCLUDES = -I$(srcdir)/../ginac -I../ginac
 
-CLEANFILES = exams.out checks.out times.out
+CLEANFILES = exams.out checks.out times.out exam.gar
 EXTRA_DIST = exams.ref checks.ref times.ref run_exams run_checks run_times
index 99fa0b2..d720906 100644 (file)
@@ -9,6 +9,7 @@ YFLAGS = -d
 
 man_MANS = ginsh.1
 
+CLEANFILES = ginsh_fcn_help.h ginsh_op_help.h
 EXTRA_DIST = ginsh_parser.h ginsh_fcn_help.sed ginsh_op_help.sed
 
 # files created by sed scripts