Re: Any interest in using HTML for locally-installed Texinfo documentation?

[Gavin Smith]

On Tue, Oct 15, 2019 at 02:09:59PM -0700, Per Bothner wrote:
> On 10/15/19 2:00 PM, Gavin Smith wrote:
> 
> > JavaScript should not be necessary if there is DOM access from the C/C++
> > side, as the case with WebKitGTK (although it is not as easy as it could
> > be).  Frames should not be necessary either: for a table of contents
> > side bar, I imagine this would be done as a widget outside of the
> > embedded browser.
> 
> That's ok if you don't mind implementing and maintaining two separate
> implementations, one for online documentation access and one for local 
> documentation.
> I would recommend against that.

I think there should be two different implementations.  Otherwise the 
local documentation reader will likely have a large amount of glue code 
and a confusing and unnecessarily complicated architecture.  Moreover, 
the existing JavaScript code does not deal with multiple manuals at all.