Patrice Dumas wrote:
On Sun, Feb 20, 2022 at 10:42:25AM +0000, Gavin Smith wrote:
Again I think the name of the option shouldn't contain the work "book",
as it is too vague.
I added a customization variable named 'NO_TOP_NODE_OUTPUT' which, if
set is the book-like output. There is no reference to a book like
style in the name, I have no idea if the name is good nor if there
should be a reference to book formatting in the name.
I do not know how well this fits with other customization variables, but
I would suggest something like 'OUTPUT_OMIT_TOP_NODE' if there is a plan
to group output-related variables with an OUTPUT_* prefix, or maybe
simply 'OMIT_TOP_NODE' if all customization variables implicitly refer
to the output.
Either way, setting this variable when producing Info output should
probably raise an error.
-- Jacob
