Bug#887765: root cause: missing dependency

2018-01-19 Thread Ben Finney
On 19-Jan-2018, Jeffrey Cliff wrote: > similar to https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=828132 > looks like the cause is that this package depends on > python-sphinx-rtd-theme for building Actually not; the ‘python-coverage’ source works with only the Python 3 packages of Sphinx, so do

Bug#887765: root cause: missing dependency

2018-01-19 Thread Jeffrey Cliff
similar to https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=828132 looks like the cause is that this package depends on python-sphinx-rtd-theme for building, but this is not in the 'control file as a dependency. ditto for * python3-sphinxcontrib.spelling * python-sphinxcontrib.spelling