Re: [PATCH] gendocs: Change maintainer.

[Ludovic Courtès]

address@hidden (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’.