Adding debian version 7.3.7-1.debian/7.3.7-1

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 4 insertions, 4 deletions

diff --git a/debian/patches/intersphinx_local.diff b/debian/patches/intersphinx_local.diff
index 1eff330..8f63354 100644
--- a/debian/patches/intersphinx_local.diff
+++ b/debian/patches/intersphinx_local.diff
@@ -10,10 +10,10 @@ during build.
  2 files changed, 8 insertions(+), 6 deletions(-)
 
 diff --git a/doc/conf.py b/doc/conf.py
-index 416158f..a262354 100644
+index 437b08f..8b21457 100644
 --- a/doc/conf.py
 +++ b/doc/conf.py
-@@ -117,9 +117,8 @@ texinfo_documents = [
+@@ -159,9 +159,8 @@ texinfo_documents = [
  ]
  
  intersphinx_mapping = {
@@ -26,10 +26,10 @@ index 416158f..a262354 100644
  
  # Sphinx document translation with sphinx gettext feature uses these settings:
 diff --git a/doc/tutorial/deploying.rst b/doc/tutorial/deploying.rst
-index e16abdf..1c4e3c6 100644
+index 6b7913f..f5fd24e 100644
 --- a/doc/tutorial/deploying.rst
 +++ b/doc/tutorial/deploying.rst
-@@ -160,13 +160,16 @@ Read the Docs
+@@ -155,13 +155,16 @@ Read the Docs
  ~~~~~~~~~~~~~
  
  `Read the Docs`_ offers integration with both GitHub and GitLab. The quickest