> From: Jean-Christophe Helary <jean.christophe.hel...@gmail.com> > Date: Thu, 8 Jun 2017 15:14:54 +0900 > > > I'm currently checking > > /usr/local/Cellar/texinfo/6.3/share/texinfo/Texinfo/Convert/HTML.pm > > to see what could be done in this area. > > Well, this is *way* beyond my comfort zone :) > > I've found the <dl> for function definitions (line 4280) but I have no idea > how the rest is processed... > > For ex, I can't seem to find how @result{} is transformed into ⇒ ...
In case you didn't already, please read the chapters "'texi2any': The Generic Translator for Texinfo" and "Generating HTML". These describe various details about the translator's internals, and also document all the customization variables it supports. It's possible that the answer for your questions is there.