On 2/23/23 03:27, Arsen Arsenović via Gcc-patches wrote:
maintainer-scripts/ChangeLog:

        * update_web_docs_git (CSS): Update CSS reference to point to
        /texinfo-manuals.css.

I'm going to defer to Gerald on this one, since I am ignorant of how documents are produced for the GCC web site. IIUC the online docs are built on a system with Texinfo 6.5; I don't know if it's reasonable to update that, otherwise I think somebody ought to give it a dry run to make sure that the style sheet does reasonable things with Texinfo 6.5 output.

-Sandra

Reply via email to