Package: src:sphinx Version: 1.7.6-1 Severity: important Tags: sid buster Apparently the name of the static directory has changed, and dh_sphinxdoc only looks for _static/documentation_options.js, not static/documentation_options.js
I think this is the cause for #896611, and I see it as well, when trying to update python-bsddb3. https://hg.jcea.es/pybsddb/file/tip/docs/Makefile shows that this directory gets renamed. The fix would be to lookup both locations for the file, or make the location configurable.
