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? Georg --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
