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

2023-03-10 Thread Arsen Arsenović via Gcc-patches
Sandra Loosemore writes: > 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 docume

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

2023-03-09 Thread 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 we