# HG changeset patch
# User Bruno Haible <bruno@clisp.org>
# Date 1219732433 -7200
# Node ID bd48efb1adc974f3a56c0a6f618bed4f638ac88e
# Parent  4a29e53a4affdf5c5281da441b3a654e9d23d1e7
Avoid error message during generation of INSTALL.

diff --git a/ChangeLog b/ChangeLog
--- 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
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -25,7 +25,7 @@
 
 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)