k...@freefriends.org (Karl Berry) skribis: > I feel the need to clarify that I did not "suggest" it. My exact words > were "that would be fine". In other words, I was willing for it to > happen, since although I find your proposed CSS changes quite wrong, I > didn't (and don't) want to debate it and don't feel it's my place to > stand in the way of perceived progress under those circumstances.
Very well. > Anyway, I have removed gendocs.sh and gendocs_template* from Texinfo, > removed the sync of those files from gnulib/config/srclist.txt, and will > update maintain.texi soon. Thanks. Ludo’.
