Thanks, that all looks good. Any reason you didn't install?
- gendocs.sh --tex ARG (patch) Karl Berry
- Re: gendocs.sh --tex ARG (patch) Paul Eggert
- Re: gendocs.sh --tex ARG (patch) Karl Berry
- Re: gendocs.sh --tex ARG (patch) Ludovic Courtès
- Re: gendocs.sh --tex ARG (patch) Karl Berry
