]> www.ginac.de Git - ginac.git/commitdiff
"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 459799eba7dcf0694cd124a0b0802a489687e3a2..f4406cb210c1ead2f039ebcac1c3db3d8688da1b 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 99fa0b241a1fc320d1bc8958fc6178fdd6273b06..d72090656453394373c9037c9f8fce349db91d50 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