Georg, Georg Brandl wrote: > Werner F. Bruhin schrieb: > > >>> 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? >> > > Normally the static files are copied after each build, so I don't know what > prevented it in your case. If you delete the file and do a build, does Sphinx > copy it? > When I delete the files from my _static folder in my source tree they do get copied by Sphinx to the _static folder in my build tree.
Any reason why one keeps them in the source tree? Maybe this caused a problem with my setup where the static folder is getting copied just before the build to handle my "multi" configuration stuff (which I can hopefully throw out when 0.6 is out) and maybe Sphinx only checks the file date/time and due to the copy the old one looked "newer". 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 -~----------~----~----~----~------~----~------~--~---
