> Or maybe Pandoc https://pandoc.org/epub.html using directly the
> texinfo file.

Thanks! I will try this method.

Regards,
RG.