Control: found -1 8.15.0-2
This looks like more missing Build-Depends(-Indep):
[...]
Running[3870]: (cd _build/default/doc && /usr/bin/env sphinx-build -q -W -b
html sphinx refman-html)
Running[3871]: (cd _build/default/doc && /usr/bin/env sphinx-build -q -W -b
latex sphinx refman-pdf)
Command [3870] exited with code 2:
$ (cd _build/default/doc && /usr/bin/env sphinx-build -q -W -b html sphinx
refman-html)
Configuration error:
There is a programmable error in your configuration file:
Traceback (most recent call last):
File "/usr/lib/python3/dist-packages/sphinx/config.py", line 329, in
eval_config_file
exec(code, namespace)
File "/build/coq-doc-8.15.0/_build/default/doc/sphinx/conf.py", line 245, in
<module>
import sphinx_rtd_theme
ModuleNotFoundError: No module named 'sphinx_rtd_theme'
Command [3871] exited with code 2:
$ (cd _build/default/doc && /usr/bin/env sphinx-build -q -W -b latex sphinx
refman-pdf)
Configuration error:
There is a programmable error in your configuration file:
Traceback (most recent call last):
File "/usr/lib/python3/dist-packages/sphinx/config.py", line 329, in
eval_config_file
exec(code, namespace)
File "/build/coq-doc-8.15.0/_build/default/doc/sphinx/conf.py", line 245, in
<module>
import sphinx_rtd_theme
ModuleNotFoundError: No module named 'sphinx_rtd_theme'
make[1]: *** [debian/rules:9: override_dh_auto_build] Error 1
Andreas
