This patch adds a note to doc/install.text, Prerequisites, Texinfo
that Texinfo may throw incorrect build warnings when a version older
than v7.1 is used. See also https://gcc.gnu.org/PR115893
Ok for trunk?
Johann
--
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 34e35a2dd52..849da342d90 100644
--- 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 then 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
