Hi Jerome, on 24.07.22 at 21:10, Jerome BENOIT write:
Hello Again, I had a quick. It looks great. I will upload by the next week-end because right now I am melting (and this can generate a chain of mistakes).
great, thanks!
Otherwise, have you try to process the texi with pdftex ?
That doesn't seem to work, texi2pdf seems the only option to get that pdf - though, one could just drop the pdf as the html documentation in provided as well.
Best, Philip
Attachment:
OpenPGP_signature
Description: OpenPGP digital signature