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. >

Re: rethinking @def*

2022-08-14 Thread Gavin Smith
On Wed, Aug 10, 2022 at 10:04:23PM +0200, Patrice Dumas wrote: > > If people wanted upright @code on a slanted @def line then there would > > be other ways to achive this, like doing @r{@code{...}}, or using > > @deftype without a type. > > I agree, in general this should not be needed for the rea