On 2/23/23 03:27, Arsen Arsenović via Gcc-patches wrote:
I've rerendered the updated documentation with latest development
Texinfo (as some of the changes I made for the purposes of the GCC
manual still aren't in releases) at:

   https://www.aarsen.me/~arsen/final/

Ummm. I don't think GCC's documentation should depend on an unreleased version of Texinfo. Currently install.texi documents that version 4.7 or later is required, 4.8 for "make pdf"; did I miss something in your patch set that bumps this requirement? Exactly what features do you depend on that are not yet supported by an official Texinfo release?

-Sandra

Reply via email to