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
I've checked in the attached patch per discussion in another thread
about possibly updating the minimum required Texinfo version. This
patch doesn't do that; it just recommends using a more recent version,
removes redundant references to version 4.7, and fixes some related
obsolete bits.
BTW
