Re: Re: A new online publishing tool for Texinfo documents.

Hi,

I agree with the overall plan, however I am not certain that the most 
efficient implementation is is the use of an xslt sheet. It might be possible
for makeinfo to be hacked such that it outputs the javascript keybindings 
itself. In the end this is a choice of the implementor himself.

Notice that I am not opposed to xslt, and I believe it could be used to 
transform to many other formats, but in that case it could still be 
possible to use makeinfo abilities. As Karl doesn't seems to like that
idea, however I believe an xslt sheet will be used...

If an xslt sheet is still considered to be the most efficient solution, 
I believe that it could also be used to make HTML, and compete with makeinfo 
produced HTML, as it uses a very different design (like how texi2html 
competes with makeinfo). 

If there is a more formal proposal or examples or when the result is there, 
I will do an init file for texi2html to do the javascript commands, as I find
it is a very good idea to have these keybindings in HTML.

Pat
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://ff0.org/mailman/listinfo/texinfo-pretest