1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
|
Description: Fix manual InstanceID XMP tag for reproducibility.
Using uuid from generated manual in upstream git repository
(https://github.com/BenjaminJurke/cohomCalg/blob/1402326/manual.pdf)
Author: Doug Torrance <dtorrance@debian.org>
Forwarded: not-needed
Last-Update: 2021-08-16
--- a/manual/latex_source/manual.tex
+++ b/manual/latex_source/manual.tex
@@ -42,8 +42,8 @@
bookmarksopen, bookmarksnumbered, bookmarksopenlevel=2,
breaklinks=true,
colorlinks=true,
- linkcolor=darkred, citecolor=darkgreen, filecolor=dullmagenta, urlcolor=darkblue}
-
+ linkcolor=darkred, citecolor=darkgreen, filecolor=dullmagenta, urlcolor=darkblue,
+ pdfinstanceid={uuid:a3e4c905-9546-4cef-b5fd-c418d75f7541}}
\usepackage{xcolor}
% existing: black, white, blue, red, green, yellow
\definecolor{darkgrey}{rgb}{0.3,0.3,0.3}
|