"make distclean" didn't remove all necessary files
[ginac.git] / ginsh / Makefile.am
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