bug-texinfo
[Top][All Lists]
Advanced

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

changing SHOW_MENU values and maybe name?


From: Patrice Dumas
Subject: changing SHOW_MENU values and maybe name?
Date: Sat, 31 Oct 2020 19:47:29 +0100

Hello,

I propose to change the SHOW_MENU possible values to use only strings 
to have something more consistent and logical.  I propose the following change:
0 -> nomenu
1 -> menu

Also, but that may not be so important, SHOW_MENU could be renamed to
something that corresponds more to the new meaning, like FORMAT_MENU.

What do you think?

I can implement the change.

-- 
Pat



reply via email to

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