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

bug-gnulib

From:	Paul Eggert
Subject:	Re: gendocs.sh --tex ARG (patch)
Date:	Sat, 04 Apr 2015 11:34:52 -0700
User-agent:	Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.6.0

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

Current Thread

[Next in Thread]

gendocs.sh --tex ARG (patch), Karl Berry, 2015/04/04
- Re: gendocs.sh --tex ARG (patch), Paul Eggert <=
  - Re: gendocs.sh --tex ARG (patch), Karl Berry, 2015/04/04
    - Re: gendocs.sh --tex ARG (patch), Ludovic Courtès, 2015/04/07
    - Re: gendocs.sh --tex ARG (patch), Karl Berry, 2015/04/07