Re: Tagging system for Texinfo

2022-08-14 Thread Jacob Bachmeyer
Gavin Smith wrote: On Fri, Aug 12, 2022 at 12:17:17PM -0700, Raymond Toy wrote: It's possible that Texinfo should have more support for this kind of thing (and API documentation in general) although I am not sure what to suggest. It looks like you are doing a pretty good job as it is with th

Tagging system for Texinfo

2022-08-14 Thread Gavin Smith
On Fri, Aug 12, 2022 at 12:17:17PM -0700, Raymond Toy wrote: > > It's possible that Texinfo should have more support for this kind of > > thing (and API documentation in general) although I am not sure what > > to suggest. It looks like you are doing a pretty good job as it is > > with the page. >