diff options
| author | Ruben Undheim <ruben.undheim@gmail.com> | 2018-07-14 22:10:36 +0200 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2018-07-14 22:10:36 +0200 |
| commit | 0970e6224bbe4849202a1eb52b5d10b23d45881c (patch) | |
| tree | d0196a69199b23fc9ff01f88e017a0ed9c3e7646 | |
| parent | 051658ab80e764dae89bdc3f9576ff7922140bd5 (diff) | |
Replace /CreationDate in PDFs generated by yosys
| -rw-r--r-- | debian/patches/0010-Replace-CreationDate-in-PDFs-generated-by-yosys.patch | 28 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 29 insertions, 0 deletions
diff --git a/debian/patches/0010-Replace-CreationDate-in-PDFs-generated-by-yosys.patch b/debian/patches/0010-Replace-CreationDate-in-PDFs-generated-by-yosys.patch new file mode 100644 index 00000000..2cc85f95 --- /dev/null +++ b/debian/patches/0010-Replace-CreationDate-in-PDFs-generated-by-yosys.patch @@ -0,0 +1,28 @@ +From: Ruben Undheim <ruben.undheim@gmail.com> +Date: Sat, 14 Jul 2018 22:10:14 +0200 +Subject: Replace /CreationDate in PDFs generated by yosys + +--- + manual/presentation.sh | 5 +++++ + 1 file changed, 5 insertions(+) + +diff --git a/manual/presentation.sh b/manual/presentation.sh +index d1e71d8..6ad5cb4 100755 +--- a/manual/presentation.sh ++++ b/manual/presentation.sh +@@ -29,10 +29,15 @@ set -ex + if ! $fast_mode; then + ! md5sum *.aux *.snm *.nav *.toc > autoloop.old + make -C PRESENTATION_Intro ++ sed -i 's#/CreationDate (D:[^)]\+)#/CreationDate ('${PDF_DATE}')#' PRESENTATION_Intro/*.pdf + make -C PRESENTATION_ExSyn ++ sed -i 's#/CreationDate (D:[^)]\+)#/CreationDate ('${PDF_DATE}')#' PRESENTATION_ExSyn/*.pdf + make -C PRESENTATION_ExAdv ++ sed -i 's#/CreationDate (D:[^)]\+)#/CreationDate ('${PDF_DATE}')#' PRESENTATION_ExAdv/*.pdf + make -C PRESENTATION_ExOth ++ sed -i 's#/CreationDate (D:[^)]\+)#/CreationDate ('${PDF_DATE}')#' PRESENTATION_ExOth/*.pdf + make -C PRESENTATION_Prog ++ sed -i 's#/CreationDate (D:[^)]\+)#/CreationDate ('${PDF_DATE}')#' PRESENTATION_Prog/*.pdf + fi + + set -ex diff --git a/debian/patches/series b/debian/patches/series index 4c0e09bb..86a2e927 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -7,3 +7,4 @@ kfreebsd-support.patch 0007-Disable-pretty-build.patch 0008-Set-fixed-date-when-calling-pdflatex-for-presentatio.patch 0009-Some-spelling-errors-fixed.patch +0010-Replace-CreationDate-in-PDFs-generated-by-yosys.patch |