On 5 May 2016 at 13:47, Ludovic Courtès <l...@gnu.org> wrote: > That sounds good, I didn’t know about this variable. > > I propose to submit this patch to Gnulib’s gendocs.sh: > > > > WDYT?
Looks fine to me.
On 5 May 2016 at 13:47, Ludovic Courtès <l...@gnu.org> wrote: > That sounds good, I didn’t know about this variable. > > I propose to submit this patch to Gnulib’s gendocs.sh: > > > > WDYT?
Looks fine to me.