From fb32e3730ee6d056d9878ec8073d096e79e70786 Mon Sep 17 00:00:00 2001 From: Juan Manuel Guerrero Date: Mon, 3 Oct 2005 05:33:47 +0000 Subject: [PATCH] DJGPP specific files added to EXTRA_DIST --- ChangeLog | 4 ++++ Makefile.am | 6 +++++- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 888421cf..e409ce19 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2005-10-03 Juan Manuel Guerrero + + * Makefile.am: DJGPP specific files added to EXTRA_DIST. + 2005-10-02 Paul Eggert Use unlocked I/O for a minor performance improvement on hosts like diff --git a/Makefile.am b/Makefile.am index 33c3f056..ed266c82 100644 --- a/Makefile.am +++ b/Makefile.am @@ -25,7 +25,11 @@ aclocaldir = @aclocaldir@ aclocal_DATA = m4/bison-i18n.m4 EXTRA_DIST = GNUmakefile Makefile.cfg Makefile.maint \ - OChangeLog PACKAGING + OChangeLog PACKAGING \ + djgpp/CVS djgpp/Makefile.maint djgpp/README.in \ + djgpp/config.bat djgpp/config.sed djgpp/config.site \ + djgpp/config_h.sed djgpp/subpipe.c djgpp/subpipe.h + .PHONY: maintainer-check maintainer-check: -- 2.45.2