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.
