On Jul 19, 2021, at 8:22, Jean-Christophe Helary
Don't worry. It's not like I don't have enough to do
already, but Normalien or not, there is probably a way to simplify all that :)
One thing is that maybe using a full blown generic TeX convertor for texi file is a bit
too much. Maybe having a simpler texi dedicated process would ease the pain.
Just a thought.
Jean-Christophe Helary @brandelune