Formerly GNUmakefile.~87~

diff --git a/GNUmakefile b/GNUmakefile
index b9ae65496233d9a9dfd74d35d69a1ed536ad3712..c80ac2be1080d77efdf34547d70869bfb24c48d5 100644 (file)
--- 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)