Re: Defining convenience wrapper for @def... categories

On Fri, Jan 20, 2023 at 11:01:03PM +0100, Arsen Arsenović wrote:
> >> What's the idiomatic way to make such an alias?  Is there any currently?
> >
> > I don't know if this counts as idiomatic or recommended, just that there
> > doesn't seem to be any other better way of doing it.
> 
> This seems to work like a charm, so as long as it's not exploiting some
> bug/UB, it should be fine.

No, it is not undefined behaviour or a bug.

> BTW, I noticed that here, like with @ftable's @itemx, each "alternative"
> becomes a separate index target, at least in HTML and Info.  I'm
> thinking of implementing a transform that "bubbles" @\([-a-zA-Z]\)*x
> indices to their respective @\1, do you think these should get the same
> transform?

I don't know about the details but it would make sense for an entire
@item/@itemx block to have the same target.