Re: HTML-Info design

[Stephen J. Turnbull]

Nic Ferrier writes:

 > Yes, it's pulled down from the GNU HTML manuals online. So a proxy
 > call basically. I've been slowly working on a better way (a direct
 > way) of delivering the content. That's a relatively difficult
 > logistics job. A matter of building everyone's documentation and
 > putting it in a place.

Could we AJAX-ify (as Lennart suggested earlier) by pulling down the
first 10k (or whatever is enough to display the menu), and then grab
the rest in the background?  Also a logistics job (in a different way)
but it would be really cool if users could point this at arbitrary
texi2any HTML output!