|
Identifier:
|
python_sphinx_gallery_adds_timing_to_output
|
|
URL
|
https://bugs.debian.org/901307
|
|
Description
|
Adds total running time to HTML and RST output. to HTML and RST output.
|
|
Identifier:
|
randomness_in_documentation_generated_by_sphinx
|
|
URL
|
https://wiki.debian.org/ReproducibleBuilds/SphinxIssues
|
|
Description
|
Sphinx might output references to memory addresses and generate a json index file
with entries in random order or with non-deterministic values (eg. searchindex.js).
See https://bugs.debian.org/822197 for memory address issue
.
searchindex.js needs sort_keys=True (jsonimpl.py) but the key values vary too.
|