Bug#983101: ceres-solver FTBFS: rm: cannot remove 'debian/tmp/usr/share/doc/ceres/html/_static/js/html5shiv-printshiv.min.js': No such file or directory

[Helmut Grohne]

Source: ceres-solver
Version: 1.14.0-13
Severity: serious
Tags: ftbfs

ceres-solver fails to build from source in unstable. A build ends with:

| rm debian/tmp/usr/share/doc/ceres/html/_static/js/html5shiv-printshiv.min.js
| rm: cannot remove 'debian/tmp/usr/share/doc/ceres/html/_static/js/html5shiv-printshiv.min.js': No such file or directory
| make[1]: *** [debian/rules:77: override_dh_installdocs] Error 1
| make[1]: Leaving directory '/build/1st/ceres-solver-1.14.0'
| make: *** [debian/rules:50: binary] Error 2
| dpkg-buildpackage: error: fakeroot debian/rules binary subprocess returned exit status 2

This is also reproducible by reproducible builds:
https://tests.reproducible-builds.org/debian/rbuild/unstable/amd64/ceres-solver_1.14.0-13.rbuild.log.gz

Given that ceres-solver is messing with sphinx-induces javascript files,
I wonder whether dh_sphinxdoc could help here.  If you intend to use it,
please request it via "Build-Depends-Indep: dh-sequence-sphinxdoc".

Helmut