diff options
| author | Ruben Undheim <ruben.undheim@gmail.com> | 2018-07-14 22:24:53 +0200 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2018-07-14 22:24:53 +0200 |
| commit | d490603f5f1152ae7d343a3996da3bc164aeb4f2 (patch) | |
| tree | fa54371cf2e459df19dc85aa6766ea0597ce459e | |
| parent | 0970e6224bbe4849202a1eb52b5d10b23d45881c (diff) | |
PRESENTATION_Prog does not contain any PDFs
| -rw-r--r-- | debian/patches/0010-Replace-CreationDate-in-PDFs-generated-by-yosys.patch | 10 |
1 files changed, 4 insertions, 6 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 index 2cc85f95..17905330 100644 --- a/debian/patches/0010-Replace-CreationDate-in-PDFs-generated-by-yosys.patch +++ b/debian/patches/0010-Replace-CreationDate-in-PDFs-generated-by-yosys.patch @@ -3,14 +3,14 @@ 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(+) + manual/presentation.sh | 4 ++++ + 1 file changed, 4 insertions(+) diff --git a/manual/presentation.sh b/manual/presentation.sh -index d1e71d8..6ad5cb4 100755 +index d1e71d8..f2d0a30 100755 --- a/manual/presentation.sh +++ b/manual/presentation.sh -@@ -29,10 +29,15 @@ set -ex +@@ -29,9 +29,13 @@ set -ex if ! $fast_mode; then ! md5sum *.aux *.snm *.nav *.toc > autoloop.old make -C PRESENTATION_Intro @@ -22,7 +22,5 @@ index d1e71d8..6ad5cb4 100755 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 |