Re: gendocs.sh --tex ARG (patch)

[Karl Berry]

    Thanks, that all looks good.  Any reason you didn't install?

My impression from the last exchange was that Ludo wanted to make all
changes himself.

k