debian: use local version of require.js
* debian/control (spot-doc): Depends on libjs-requirejs. * debian/rules (fix-js): Replace uses.
This commit is contained in:
parent
a11fe556f7
commit
1b58272a23
2 changed files with 2 additions and 1 deletions
2
debian/control
vendored
2
debian/control
vendored
|
|
@ -71,7 +71,7 @@ Description: functions for generating formulas and automata in Spot
|
|||
Package: spot-doc
|
||||
Section: doc
|
||||
Architecture: all
|
||||
Depends: ${misc:Depends}, libjs-mathjax, libjs-jquery
|
||||
Depends: ${misc:Depends}, libjs-mathjax, libjs-jquery, libjs-requirejs
|
||||
Description: documentation for Spot
|
||||
HTML and PDF documentation for Spot.
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue