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: Wed, 12 Jul 2023 16:02:34 +0200

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






reply via email to

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