From 7770572c89232d5c2f7e206b68d5d728a0f55e4f Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 23 Apr 2015 17:12:27 +0200
Subject: [PATCH] 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 | 8 ++++----
 debian/rules   | 7 ++++++-
 2 files changed, 10 insertions(+), 5 deletions(-)

diff --git a/debian/control b/debian/control
index e71a29e1c..f2a09b6a3 100644
--- a/debian/control
+++ b/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).
diff --git a/debian/rules b/debian/rules
index aa5b4cd28..5ea230558 100755
--- a/debian/rules
+++ b/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