[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Texinfo translation error, texinfo_document domain
From: |
Patrice Dumas |
Subject: |
Re: Texinfo translation error, texinfo_document domain |
Date: |
Tue, 1 Nov 2022 12:47:17 +0100 |
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
--
Pat
- Re: Texinfo translation error, texinfo_document domain,
Patrice Dumas <=