... api ...
... post-process the HTML files ...
Sure, but isn't this a basic enough feature to be worth providing in
Texinfo? I have always missed a link to package home pages from Texinfo
manual web pages.
I'm not sure what the best way of achieving this is.
Patrice, are you still
On Sat, Jul 14, 2018 at 8:42 PM, Borden Rhodes wrote:
> I noticed in the TODO file of texinfo that there's a job for exporting
> into ePub. This would be a great feature because I've wanted to take
> things like the bash and sed manuals offline to read with me.
Have you tried downloading e.g.