bug-texinfo
[Top][All Lists]
Advanced

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

Re: Texinfo translation error, texinfo_document domain


From: Gavin Smith
Subject: Re: Texinfo translation error, texinfo_document domain
Date: Tue, 1 Nov 2022 17:56:04 +0000

On Tue, Nov 01, 2022 at 12:47:17PM +0100, Patrice Dumas wrote:
> On Tue, Nov 01, 2022 at 01:26:49AM +0100, Bruno Haible wrote:
> > With this, most of the confusion should be gone. Thanks!!
> 
> I tried to be clearer in the following commit (which may need to be
> revised):
> https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=dd02e93ab701f7d7c9d2dcb9783241af9307afa5

I've discussed the change with Patrice and we've made some changes since
that commit.



reply via email to

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