Re: [PATCH] gendocs: Change maintainer.

[Karl Berry]

    as Karl suggested at

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.

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.

Best,
Karl