bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Take account of splitting option in gendocs.sh


From: Bruno Haible
Subject: Re: Take account of splitting option in gendocs.sh
Date: Mon, 27 Mar 2023 00:28:39 +0200

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

Thanks for the improvement.

Bruno






reply via email to

[Prev in Thread] Current Thread [Next in Thread]