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