Patrice Dumas <pertu...@free.fr> writes: > On Sun, Mar 12, 2023 at 11:43:27AM +0000, Gavin Smith wrote: >> On Sun, Mar 12, 2023 at 11:49:38AM +0100, Patrice Dumas wrote: >> > On Sat, Mar 11, 2023 at 12:01:18PM +0100, Arsen Arsenović wrote: >> > > Hi, >> > > >> > > Currently, CONTENTS_OUTPUT_LOCATION=after_top outputs contents first, >> > > then shortcontents, as is written in HTML.pm:4113. Some manuals, such >> > > as that of GCC, place @shortcontents first, in order to let the user >> > > browse a briefer high-level overview before jumping into the (quite >> > > large) table of contents. >> > >> > I think that the best would be, after having decided on a default, to >> > have the alternative order specified in CONTENTS_OUTPUT_LOCATION. So, >> > for example if it is shortcontents first and contents next in the >> > default case, there would be both CONTENTS_OUTPUT_LOCATION=after_top >> > and CONTENTS_OUTPUT_LOCATION=after_top_short_last to be able to specify >> > that. >> >> I agree with Arsen that the shortcontents should come first. I don't >> care if other options are added too to swap the orders.
Thanks for handling it. > Ok. Let's wait for users to ask for the other order to add the > CONTENTS_OUTPUT_LOCATION possibilities. That seems reasonable. Have a lovely night! -- Arsen Arsenović
signature.asc
Description: PGP signature
