Copy objects.inv to github.io website
rowleya opened this issue · comments
It appears that the mirror of the documentation misses the objects.inv file created by Sphinx. It would be very useful if this appeared on the mirror site to avoid cross-documentation building issues when the main documentation site is down (which appear to be often ;).
I've added that file from a fresh build, please let me know if this works.
(The mirror site on Github pages will become the main documentation site soon, by the way)
I can see the file there now - thanks!
I can also confirm that our doc builds now work against this site.