Re: [PATCH v2 5/5] update_web_docs_git: Update CSS reference to new manual CSS

[Sandra Loosemore]

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