diff options
| -rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index c39dfb7..76ccf1d 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -242,7 +242,7 @@ endef make-doc-$(version).tar: README-doc COPYING make.dvi make.info make.info* $(make-tar) make-$(version).tar: README INSTALL COPYING ChangeLog NEWS \ - configure Makefile.in configure.in build.sh.in \ + configure Makefile.in configure.in build.sh.in mkinstalldirs \ $(srcs) remote-*.c $(globfiles) \ make.texinfo gpl.texinfo make-stds.texi \ make.?? make.??s make.toc make.aux make.man texinfo.tex TAGS tags |