debian: fix two lintian errors

* debian/control (libspot-dev): Do not depend on an exact version of
spot.
(spot-doc): depend on libjs-mathjax.
* debian/rules: Patch doc/userdoc/ to use the local version of MathJax.

debian/control

@@ -14,20 +14,20 @@ Suggests: libspot-dev, spot-doc, python3-spot
 Depends: ${shlibs:Depends}, ${misc:Depends}
 Description: model checking and omega-automata manipulation library
  Library and tools to manipulate omega-automata as well as
- linear-temporal logic (LTL & PSL).
+ linear-time temporal logic (LTL & PSL).
 
 Package: libspot-dev
 Architecture: all
 Section: libdevel
 Suggests: spot-doc
-Depends: spot (= ${source:Version}), ${misc:Depends}
+Depends: spot (>= ${source:Version}), spot (<< ${source:Version}.1~), ${misc:Depends}
 Description: headers for the Spot model checking library
  C++ headers for the Spot library.
 
 Package: spot-doc
 Section: doc
 Architecture: all
-Depends: ${misc:Depends}
+Depends: ${misc:Depends}, libjs-mathjax
 Description: documentation for Spot
  HTML and PDF documentation for Spot.
 
@@ -38,4 +38,4 @@ Depends: ${shlibs:Depends}, ${misc:Depends}, ${python3:Depends}, spot (= ${binar
 Suggests: ipython3
 Description: python3 binding for spot
  Spot allows manipulation of omega-automata as well
- as linear temporal logic (LTL & PSL).
+ as linear-time temporal logic (LTL & PSL).

debian/rules

@@ -66,8 +66,13 @@ override_dh_auto_configure:
 	  --disable-devel --enable-optimizations	\
 	  --disable-static $(PYSETUP)
 	$(FLTOWORKAROUND)
-override_dh_auto_install:
+override_dh_auto_install: fix-mathjax
 	dh_auto_install --destdir=$(CURDIR)/debian/tmp
 	find debian/tmp -name '*.la' -exec rm -rv {} ';'
 override_dh_python3:
 	dh_python3 -p python3-spot
+override_dh_auto_build:
+	dh_auto_build
+
+fix-mathjax:
+	perl -pi -e 's|http://orgmode.org/mathjax/MathJax.js|file:///usr/share/javascript/mathjax/MathJax.js|' doc/userdoc/*.html