Okay, in my case I could work around this with the following target:
override_dh_sphinxdoc:
dh_sphinxdoc -X searchtools.js
I personally still consider this a bug (in either debhelper or sphinx)
as it's unfortunate for every package to require work-arounds for such a
common scenario.
But at least I have my builds on Raring working now :)
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1076153
Title:
dh_sphinxdoc: error: unknown JavaScript code: [...]/searchtools.js
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/debhelper/+bug/1076153/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
