texinfo in HTML is trivial
texinfo in HTML is trivial
Posted Mar 24, 2004 19:41 UTC (Wed) by nix (subscriber, #2304)In reply to: Thanks: me too by vondo
Parent article: The Grumpy Editor's Guide to Image Viewers
Er, makeinfo --html?
(It's good enough for GNU's on-line manual pages...)
Admittedly, you can't search multi-node HTML documents without external tools (which makes me wonder why anyone bothers with it as a primary documentation format.)