From: Bruno Haible <bruno@clisp.org>
Date: Tue, 26 Aug 2008 06:33:53 +0000 (+0200)
Subject: Avoid error message during generation of INSTALL.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=14c8b8fbdbc1e3a1c16110ff0092d85916bf5173;p=pspp

Avoid error message during generation of INSTALL.
---

diff --git a/ChangeLog b/ChangeLog
index 98a0a98289..5c45b747ee 100644
--- 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 8f8f8ea583..750ff4dd78 100644
--- 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)