Re: automatic generation of @menu entries
Mike Frysinger <[email protected]>
| Newsgroups | gmane.comp.tex.texinfo.general |
|---|---|
| Message-ID | <YT2uSMBbZnDwS0Qa@vapier> |
On 12 Sep 2021 09:41, Eli Zaretskii wrote: > > Date: Sat, 11 Sep 2021 23:20:00 -0400 > > From: Mike Frysinger <[email protected]> > > > > i couldn't easily find an answer in the archives or manual, so feel free to > > point me to docs or discussions that i missed. surely this can't be a new > > idea that i managed to come up with myself. or there's a good reason that > > i can't see as to why this is a bad idea. > > > > having to manually maintain @menu entries in each @node is pretty tedious, > > especially when @contents & @node are pretty well automated. i grok that > > there will probably be cases where people want to manually curate a menu, > > but why can't we have an automatic default available ? > > Not the answer you expected, but Emacs has a command that creates the > menus for you. i saw mention of that shortcut in the manual, but as you can imagine, that's not terribly interesting to me. i don't use emacs, and i'm not expecting everyone else who helps maintain texinfo sources to use emacs. but if there's an emacs shortcut to autogenerate/update, it implies that making an actual texinfo command to do it isn't unreasonable ? -mike
signature.asc
(application/pgp-signature, 833 B)
-----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEEuQK1JxMl+JKsJRrUQWM7n+g39YEFAmE9rnAACgkQQWM7n+g3 9YG+ig//cd4dnRvKgwPQpq16yDuNKgRnWCwY0d2+p3k+aRxcqyv1UZhoqwK7Iov5 xPkPrZvF2Uqyq0R+L6YvDP4xtJswk5NSJRhlGF+zGoGg5tEWNBUlWreN7QB6MrAP jD5wDPx2Eaug7BvLiDcoXj1BqURl3SFmwoZCKpFx4qgSHCnntdX7cEmdMQpRtb+7 +hAeP0xKCuzo91sjLtqn/8iKm2clyzUBDmnuyhzpvfJ4wYUmrG/dyoNt/t2w5W+V 16aEbqkw2jPG2bWqZrR8fjf6NcZulFUilh/+Jt/2zbBG7Z/qVX7/p/YRxk8Pao1n dG6yeaKKs/P76058EHLdmnIyKZZ6fzxptSFYw2tHoGg7wuEpEa2VyQFF8g8IwRef 2OoCwE9cxectUT+bhvToiWndHKMnvlo4HL7RznV7dOODLmxqdCnrnSk5JDQy9nOH HiqLTXwfJwcensEbLGfb/cfynfMiBQT3HWdO2IZTng2aPM2mIYdpQtjp76MBTtM1 ygtwSULMWAInFH2NWOhmCfZtV/B9jkwk/QPkIYhObkWExNk0XR3VlRtANoBKYyK5 ZwCGCUfBJWudVZs/V/jrFTr3sjVeBdB3SRCQHhE6w8G2lZpWSY8sbXt0OM0VY6ob lZyGBGF2eB29squqC80F6na7QxOr6Aac+uqSYmw8MiuhsdPgHb4= =jR66 -----END PGP SIGNATURE-----