On Fri, Mar 11, 2022 at 02:09:35AM +0100, 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 think the name of the variable is fine, as it describes what it does
clearly and succinctly.

Reply via email to