Re: Take account of splitting option in gendocs.sh

[Bruno Haible]

Gavin Smith wrote:
> Here's an updated patch that does not affect the behaviour when
> used with texi2html.

Thanks for the improvement.

Bruno