sorry probably you are right -- I just bluntly assumed that jquery's index would be simple to generate.
I would still would have preferred if the bugreport was left opened so there was a note for possible future work/extension. Cheers, Yarik On Sun, 09 Jan 2011, Esteban Manchado Velázquez wrote: > 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 :-( -- =------------------------------------------------------------------= Keep in touch www.onerussian.com Yaroslav Halchenko www.ohloh.net/accounts/yarikoptic -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
