Georg, Georg Brandl wrote: ... >>>> >>>> >>> Unfortunately problems with the search are hard to debug. Is your >>> documentation >>> online somewhere so that I can try it, or are the sources public? >>> >>> >> I have the same problems (at least it looks like it to me). I put the >> doc up on my web site, maybe seeing two different sites/docs might help you. >> >> http://www.spiritissimo.com/test/ >> > > Of course it was two different problems. :) > > In your case, it seems that your searchtools.js is not the one that is shipped > with 0.5.1 -- the problem is that the page sources are missing. > > Can you check if the searchtools.js is properly copied in the output > directory? > There should be a condition checking for DOCUMENTATION_OPTIONS.HAS_SOURCE in > it. > Can confirm that after I copied searchtools.js (actually did all *.js just to be sure) from the sphinx/static folder to my documentation _static folder the search works fine.
BTW, it is the manual step one has to do after upgrading Sphinx x to y? Or should Sphinx detect this during the build process? Thanks Werner --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "sphinx-dev" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sphinx-dev?hl=en -~----------~----~----~----~------~----~------~--~---
