https://gcc.gnu.org/g:48c52af0cd85a2e702ff90c7ba6b70daf7f4b171
commit r16-1574-g48c52af0cd85a2e702ff90c7ba6b70daf7f4b171
Author: Georg-Johann Lay <a...@gjlay.de>
Date: Wed Jun 18 18:55:02 2025 +0200
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:
---
gcc/doc/install.texi | 3 +++
1 file changed, 3 insertions(+)
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index 34e35a2dd52b..80ee2cd6ebad 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 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
