Use `AM_MAKEINFOFLAGS' rather than

overwriting `MAKEINFO', so that `missing' can do its job.

diff --git a/doc/Makefile.am b/doc/Makefile.am
index b9f0995500a07fec162067076b106385a9af5005..b5e937144ab6c531d3e07651fbe9e8e9101fb29c 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -11,7 +11,7 @@ EXTRA_DIST = perm.texi getdate.texi constants.texi doclicense.texi
 # Otherwise, it would also generate files with names like <package>.info-[123],
 # and those names all map to one 14-byte name (<package>.info-) on some crufty
 # old systems.
-MAKEINFO = makeinfo --no-split
+AM_MAKEINFOFLAGS = --no-split
 
 constants.texi: $(top_srcdir)/src/tail.c
        LC_ALL=C \