On Wed, Jan 21, 2009 at 01:07:35PM +0100, Sebastian Rose wrote: > Is there some way to add `plugins' to texinfo's HTML exporter?
With C makeinfo, it is not easy, but the plan is to switch to texi2html, as soon as the info backend is completed and misc other compatibility issues are resolved, and texi2html is highly customizable. -- Pat
