- "make dist" should now include all necessary files (except docs)
[ginac.git] / ginsh / Makefile.in
index 4e8e226b3a249fee9802cde165a3aeb53cb1a400..0d919048a539fcd8f989602710cd15921c509d23 100644 (file)
@@ -96,6 +96,7 @@ ginsh_SOURCES = ginsh_parser.yy ginsh_lexer.ll ginsh.h
 ginsh_LDADD = @LIBOBJS@ ../ginac/libginac.la
 man_MANS = ginsh.1
 YFLAGS = -d
+EXTRA_DIST = ginsh_parser.h
 mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
 CONFIG_HEADER = ../config.h
 CONFIG_CLEAN_FILES =