Bug#1005920: closed by Debian FTP Masters <ftpmaster@ftp-master.debian.org> (reply to Julien Puydt <jpuydt@debian.org>) (Bug#1005920: fixed in coq-doc 8.15.0-2)

[Andreas Beckmann <anbe@debian.org>]

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