[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: makeinfo no longer validates the menu structure
From: |
Patrice Dumas |
Subject: |
Re: makeinfo no longer validates the menu structure |
Date: |
Thu, 22 Jun 2023 17:14:37 +0200 |
On Thu, Jun 22, 2023 at 05:07:53PM +0200, Patrice Dumas wrote:
> It is on purpose that CHECK_NORMAL_MENU_STRUCTURE is needed, because
> with manually made menus and node directions, it is .
Here I wanted to say
It is on purpose that CHECK_NORMAL_MENU_STRUCTURE is needed, because
with manually made menus and node directions, it is not really possible
to be sure that an irregular structure is not done on purpose.
--
Pat