diff options
-rw-r--r-- | GNUmakefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 08916b6..bf939ab 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -223,7 +223,8 @@ endef make-doc-$(version).tar.Z: README-doc COPYING make.dvi make.info make.info* $(make-tar) -make-$(version).tar.Z: README COPYING ChangeLog CHANGES configure Makefile.in \ +make-$(version).tar.Z: README INSTALL COPYING ChangeLog CHANGES \ + configure Makefile.in configure.in \ $(srcs) remote-*.c $(globfiles) make.texinfo gpl.texinfo \ make.cp* make.fn* make.ky* make.pg* make.toc make.tp* make.vr* \ make.aux make.man texinfo.tex TAGS tags |