Avoid error message during generation of INSTALL.

diff --git a/ChangeLog b/ChangeLog
index 98a0a98289d2d1e6dec10b5c5781c68c4e6b2301..5c45b747ee7b521c9bd29ef483978804767e1466 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-08-26  Bruno Haible  <bruno@clisp.org>
+
+       * doc/Makefile (INSTALL): Use --no-validate instead of --no-warn.
+       Suggested by Eric Blake.
+
 2008-08-25  Bruno Haible  <bruno@clisp.org>
 
        * doc/Makefile (INSTALL): Generate with @firstparagraphindent set.

diff --git a/doc/Makefile b/doc/Makefile
index 8f8f8ea5833819657ba1cd1511ea1fa99ea7ce28..750ff4dd7897cdcc0439a3da796411dfaf2f8952 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -25,7 +25,7 @@ pdf: $(doc).pdf
 
 INSTALL: install.texi
        { echo '@firstparagraphindent insert'; cat $<; } > tmp.texi
-       $(MAKEINFO) --plaintext --no-warn tmp.texi > $@
+       $(MAKEINFO) --plaintext --no-validate tmp.texi > $@
        rm -f tmp.texi
 
 GNULIB_TEXI_FILES = $(filter-out maintain.texi make-stds.texi standards.texi,$(wildcard *.texi)) $(wildcard posix-headers/*.texi) $(wildcard posix-functions/*.texi) $(wildcard glibc-headers/*.texi) $(wildcard glibc-functions/*.texi)