On Fri, 27 Jan 2023, Arsen Arsenović via Gcc-patches wrote: > htdocs/texinfo-manuals.css | 129 +++++++++++++++++++++++++++++++++++++
Thank you - I pushed this. +/* Texinfo documentation stylesheet. + Inspired by the Gnulib manual, 2023-01-26. + + Arsen Arsenović <ar...@aarsen.me> Can we rephrase this a bit? Something like "Contributed by" maybe, or omitting the name (as we usually do - since I made sure it's in Git)? Gerald
