On Sat, 19 Jul 2025 14:25:12 +0100 Gavin Smith <gavinsmith0...@gmail.com> wrote:
> The @menu block you have added is unnecessary in newer versions of > Texinfo and I don't understand what you hope to achieve by adding in > back in. OK, so it's already fixed, thanks a lot, and sorry for the noise. Denis.
pgpi_SZD_AUPQ.pgp
Description: OpenPGP digital signature