#904201 dh_sphinxdoc only looks for _static/documentation_options.js, not static/documentation_options.js

Package:
src:sphinx
Source:
sphinx
Submitter:
Matthias Klose
Date:
2025-08-17 17:48:22 UTC
Severity:
wishlist
Tags:
#904201#5
Date:
2018-07-21 13:14:38 UTC
From:
To:
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.

#904201#12
Date:
2019-07-29 12:26:59 UTC
From:
To:
control: severity -1 wishlist

Hi,

The current /usr/bin/dh_sphinxdoc uses a hard-coding path name which is
a bad idea.

dh_sphinxdoc should look for all the paths listed in a list:
 html_static_path = ['_static']
in conf.py what ever the directory names are.  That should be the
default behavior.

If a document build system performs non-standard renaming with intrusive sed script
changing html file as reported in this bug report, it's not a business
of dh_sphinxdoc to guess what the packaging script did.  So suggested
fix by the original bug reporter is non-optimal solution.

What we need is:
  * Good default:  Use pasts listed in html_static_path
  * Customizable:  Add a feature to customize search path name via
                   command line option

This is a feature request.  So wishlist.

Osamu