On Fri, Mar 28, 2025 at 06:56:58PM +0000, Gavin Smith wrote: > On Thu, Mar 27, 2025 at 10:24:55AM +0100, Patrice Dumas wrote: > > Thinking more about this issue, it is not clear to me why @clickstyle is > > used to change the formatting of @click while there are other options, > > in particular @alias (or @macro) that are well integrated in the Texinfo > > language. > > > > I found this message of Karl announcing the feature. He said that he > > discussed with Ben, but there isn't more information than what is > > in the manual: > > https://lists.gnu.org/archive/html/bug-texinfo/2008-01/msg00049.html > > > > How about deprecating clickstyle and asking users to replace > > > > @clickstyle @result > > by > > @alias click=result > > > > I have no objection to deprecating the command. I don't know who the > Ben referred to in that message is.
I do not either. -- Pat
