[Pkg-opt-media-team] [dvdisaster] 55/61: Disable generating manual.pdf ourselves.
Takaki Taniguchi
takaki at moszumanska.debian.org
Thu Feb 2 13:48:46 UTC 2017
This is an automated email from the git hooks/post-receive script.
takaki pushed a commit to branch master
in repository dvdisaster.
commit ba84c34dce3a09be342dcd01fab2b7c8ca6ab63a
Author: Carlos Maddela <e7appew at gmail.com>
Date: Thu Jan 5 19:25:48 2017 +1100
Disable generating manual.pdf ourselves.
For the time being, we'll just package the upstream-generated
manual.pdf, since we can't build the PDF reproducibly ourselves.
The reason we can't is most probably due to the fact that the
LaTeX document embeds other PDF documents and PNG images.
Although we are able to reproduce the PDF's creation and mod
dates, as well as its PDF IDs, the stream elements representing
the embedded images are always what seem to differ each time we
try to generate the PDF.
---
debian/control | 6 +++---
debian/rules | 11 ++++++++++-
2 files changed, 13 insertions(+), 4 deletions(-)
diff --git a/debian/control b/debian/control
index 36f8f07..c010706 100644
--- a/debian/control
+++ b/debian/control
@@ -12,9 +12,9 @@ Build-Depends: debhelper (>= 10),
libgtk2.0-dev,
libpng-dev,
pkg-config
-Build-Depends-Indep: texlive-fonts-recommended,
- texlive-latex-base,
- texlive-latex-extra
+# Build-Depends-Indep: texlive-fonts-recommended,
+# texlive-latex-base,
+# texlive-latex-extra
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/git/pkg-opt-media/dvdisaster.git
Vcs-Git: https://anonscm.debian.org/git/pkg-opt-media/dvdisaster.git
diff --git a/debian/rules b/debian/rules
index e85d840..df2b292 100755
--- a/debian/rules
+++ b/debian/rules
@@ -35,8 +35,17 @@ override_dh_clean:
override_dh_auto_build-arch:
make all
+# For the time being, we'll just package the upstream-generated
+# manual.pdf, since we can't build the PDF reproducibly ourselves.
+# The reason we can't is most probably due to the fact that the
+# LaTeX document embeds other PDF documents and PNG images.
+# Although we are able to reproduce the PDF's creation and mod
+# dates, as well as its PDF IDs, the stream elements representing
+# the embedded images are always what seem to differ each time we
+# try to generate the PDF.
override_dh_auto_build-indep:
- make manual
+ # make manual
+ true
override_dh_auto_install-arch:
dh_auto_install -a -- BUILDROOT=$(CURDIR)/debian/tmp
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-opt-media/dvdisaster.git
More information about the Pkg-opt-media-team
mailing list