Rebase patches.

2017-12-21 05:49:31 +11:00
parent 581d7697db
commit 619ee820f3
23 changed files with 158 additions and 232 deletions
--- a/debian/patches/28-pdftex-reproducibility.patch
+++ b/debian/patches/28-pdftex-reproducibility.patch
@@ -15,7 +15,7 @@ This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
 1 file changed, 2 insertions(+)

 diff --git a/documentation/user-manual/manual.tex b/documentation/user-manual/manual.tex
-index 60fb51e..bf4364d 100644
+index 3024f3a..d943232 100644
 --- a/documentation/user-manual/manual.tex
 +++ b/documentation/user-manual/manual.tex
@@ -65,6 +65,8 @@