On 3/12/23 11:40, Tobias Burnus wrote:
Hi Sandra,
can you check the PR number? The following looks wrong:
https://gcc.gnu.org/PR88578>>
On 11.03.23 02:33, Sandra Loosemore wrote:
--- a/gcc/doc/install.texi2html
+++ b/gcc/doc/install.texi2html
...
- # Use sed to work around makeinfo 4.7 b
On Fri, 10 Mar 2023, Sandra Loosemore wrote:
> I've checked in the attached patch per discussion in another thread about
> possibly updating the minimum required Texinfo version.
Thank you, Sandra!
I was going to udpate the comment in doc/install.texi2html just now, and
saw you beat me to it (an
