|
From: | Jacob Bachmeyer |
Subject: | Re: more consistent ignoring before node and sections and Top node |
Date: | Thu, 10 Mar 2022 21:55:46 -0600 |
User-agent: | Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |