Re: patch for gendoc.sh --no-html fix

[Bruno Haible]

Patrice Dumas wrote:
> A small patch for a small typo in gendoc.sh for --no-html.

Thanks. Applied.