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
This commit is contained in:
Georg-Johann Lay 2025-06-18 18:55:02 +02:00
parent 20f5930185
commit 48c52af0cd

View file

@ -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