Re: Stand-alone release of Texinfo JS Interface?

[Per Bothner]

On 10/23/18 7:13 AM, Gavin Smith wrote:
> I think we should make a release of the work done to create an
> info-style browsing experience in HTML, by Mathieu Lirzin in 2017 as
> part of "Google Summer of Code". This would be separate to the main
> Texinfo releases.

Seems like a good idea.

> "Texinfo JS Interface" seems like a good name. Any other suggestions?

I'd love for this to evolve into a more general "documentation
browser", not restricted to texinfo, but any set of html pages that
is well-structured and follows certain conventions.  (Though I would not
use current makeinfo --html output to specify the interface - as the
former is neither well-structured nor compatible with current practice.)

If that happens a more general-purpose name like "GNU Documentation
Browser Library" might be more appropriate.  However, we can always
change the name in that case.

> I've added a script ("texinfo-js") to add the interface for any
> Texinfo manual

I didn't see any such script in the svn source.  There is a texinfo-js (short) 
manual.

> As accessing this manual didn't work perfectly in all the web browsers
> I tried, any use of this interface should be marked as experimental.

I noticed that some things don't work on Konqueror.  (Not that I
ever use Konqueror - except to occasionally test things.)

--
        --Per Bothner
address@hidden   http://per.bothner.com/