install.texi: Note that Texinfo < v7.1 may throw incorrect warnings.

	PR other/115893
gcc/
	* doc/install.texi (Prerequisites): Note that Texinfo older
	than v7.1 may throw incorrect build warnings, cf.
	https://lists.nongnu.org/archive/html/help-texinfo/2023-11/msg00004.html

diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index 34e35a2dd52b5504ce599aaaecb7d3c37b3e18d3..80ee2cd6ebadcc8893c48f7c3b602ec5e626655a 100644 (file)
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -631,6 +631,9 @@ building the documentation without error, but you may still want to
 install a newer release to get the best appearance and usability of
 the generated manuals.
 
+Also note that Texinfo older than version 7.1 may throw incorrect build
+warnings, though the generated documentation is correct.
+
 @item @TeX{} (any working version)
 
 Necessary for running @command{texi2dvi} and @command{texi2pdf}, which