Hello Paul, Le 26/10/2024 à 00:11, Paul Eggert a écrit :
Thanks for the suggestions. I installed the attached patch to <https://www.gnu.org/software/gnulib/manual.css>, as I think that's what you had in mind. If I'm wrong please let us know.
Thanks a lot for applying this patch. It's just fine. Best, Thérèse
