[gap-guava] 01/04: upstream doc: unrep fix

[Jerome Benoit]

This is an automated email from the git hooks/post-receive script.

calculus-guest pushed a commit to branch master
in repository gap-guava.

commit adc6a4d21dea49a8efcbec60910c866f6c517fda
Author: Jerome Benoit <calculus at rezozer.net>
Date:   Mon Dec 28 02:17:21 2015 +0100

    upstream doc: unrep fix
---
 debian/changelog                               |  7 +++++++
 debian/patches/series                          |  1 +
 debian/patches/upstream-doc-reproducible.patch | 21 +++++++++++++++++++++
 3 files changed, 29 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 93355cc..c812873 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+gap-guava (3.12+ds1-3) UNRELEASED; urgency=medium
+
+  * Debianization:
+    - debian/patches/upstream-doc-reproducible.patch, introduce.
+
+ -- Jerome Benoit <calculus at rezozer.net>  Mon, 28 Dec 2015 01:01:55 +0000
+
 gap-guava (3.12+ds1-2) unstable; urgency=medium
 
   * Debianization:
diff --git a/debian/patches/series b/debian/patches/series
index 5764411..69fff2a 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,4 @@
+upstream-doc-reproducible.patch
 upstream-configure_machinery-refreshment.patch
 upstream-fix-warnings.patch
 debianization.patch
diff --git a/debian/patches/upstream-doc-reproducible.patch b/debian/patches/upstream-doc-reproducible.patch
new file mode 100644
index 0000000..062dfc0
--- /dev/null
+++ b/debian/patches/upstream-doc-reproducible.patch
@@ -0,0 +1,21 @@
+Description: upstream documentation: reproducible build
+ Attempt to render reproducible TeX documentation;
+ meant to be submitted to the upstream maintainer.
+Origin: debian
+Author: Jerome Benoit <calculus at rezozer.net>
+Last-Update: 2015-12-28
+
+--- a/src/leon/doc/manual.tex
++++ b/src/leon/doc/manual.tex
+@@ -64,9 +64,9 @@
+ \parindent=0pt
+ \raggedbottom
+ 
+-% Make headline containing date
++% Make headline containing the date of the license agreement (see COPYING.guava)
+ \def\makeheadline{\vbox to 0pt{\vskip-45pt
+-   \line{\vbox to 8.5pt{}\hskip-40pt\fiverm{\number\month}/{\number\day}/92\hfil}\vss}
++   \line{\vbox to 8.5pt{}\hskip-40pt\fiverm{04}/{17}/{2007}\hfil}\vss}
+    \nointerlineskip}
+ %
+ \def\makeactive#1{\catcode`#1 = \active \ignorespaces}%

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gap-guava.git