[Python-modules-team] Bug#904201: dh_sphinxdoc only looks for _static/documentation_options.js, not static/documentation_options.js

[Matthias Klose]

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.