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

bug-gnulib

From:	Bruno Haible
Subject:	Re: patch for gendoc.sh --no-html fix
Date:	Sat, 27 Jan 2024 12:56:11 +0100

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

Thanks. Applied.

Current Thread

[Next in Thread]

patch for gendoc.sh --no-html fix, Patrice Dumas, 2024/01/27
- Re: patch for gendoc.sh --no-html fix, Bruno Haible <=