From: Ruben Undheim 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