blob: 179053307c69f64cb4675213d00381a675b87a70 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
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 | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/manual/presentation.sh b/manual/presentation.sh
index d1e71d8..f2d0a30 100755
--- a/manual/presentation.sh
+++ b/manual/presentation.sh
@@ -29,9 +29,13 @@ 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
fi
|
