Re: Take account of splitting option in gendocs.sh

[Bruno Haible]

Gavin Smith wrote:
> I've made minor changes to the patch as specified in Karl's response below.
> Please can this be applied?

Thanks for having taken into account both my and Karl's comments. I have
applied your patch.

Bruno