On Sun, 09 Jan 2011 17:43:26 +0100, Yaroslav Halchenko
<deb...@onerussian.com> wrote:
[...]
python-sphinx uses it, thus many sphinx generated -doc's depend/use on
jquery, thus it should be fairly stable
Right, I forgot about the Sphinx reference. jQuery in itself doesn't
solve much, but it's true that you could do what Sphinx does (generate
*another* index only for the Javascript searches and use that if there's
no web server installed). However, unless I'm missing something that would
imply writing fairly complex indexing code to create Sphinx-compatible
indices from our currently-supported documentation formats (PDF,
Postscript, HTML). That sounds like a lot of work and potential issues to
me :-(
--
Esteban
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
