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