diff options
Diffstat (limited to 'debian/patches/0012-Set-date-also-for-appnotes.sh.patch')
-rw-r--r-- | debian/patches/0012-Set-date-also-for-appnotes.sh.patch | 47 |
1 files changed, 0 insertions, 47 deletions
diff --git a/debian/patches/0012-Set-date-also-for-appnotes.sh.patch b/debian/patches/0012-Set-date-also-for-appnotes.sh.patch deleted file mode 100644 index c08ffc31..00000000 --- a/debian/patches/0012-Set-date-also-for-appnotes.sh.patch +++ /dev/null @@ -1,47 +0,0 @@ -From: Ruben Undheim <ruben.undheim@gmail.com> -Date: Sat, 14 Jul 2018 23:03:06 +0200 -Subject: Set date also for appnotes.sh - ---- - Makefile | 2 +- - manual/appnotes.sh | 5 ++++- - 2 files changed, 5 insertions(+), 2 deletions(-) - -diff --git a/Makefile b/Makefile -index 78f0f58..aa66a54 100644 ---- a/Makefile -+++ b/Makefile -@@ -463,7 +463,7 @@ update-manual: $(TARGETS) $(EXTRA_TARGETS) - cd manual && ../yosys -p 'help -write-tex-command-reference-manual' - - manual: $(TARGETS) $(EXTRA_TARGETS) -- cd manual && bash appnotes.sh -+ cd manual && PDF_DATE=$(PDF_DATE) bash appnotes.sh - cd manual && PDF_DATE=$(PDF_DATE) bash presentation.sh - cd manual && PDF_DATE=$(PDF_DATE) bash manual.sh - -diff --git a/manual/appnotes.sh b/manual/appnotes.sh -index 0ae5286..798d9d3 100755 ---- a/manual/appnotes.sh -+++ b/manual/appnotes.sh -@@ -7,16 +7,19 @@ do - if [ -f $job/make.sh ]; then - cd $job - bash make.sh -+ sed -i 's#/CreationDate (D:[^)]\+)#/CreationDate ('${PDF_DATE}')#' *.pdf - cd .. - fi - old_md5=$([ -f $job.aux ] && md5sum < $job.aux || true) - while -- pdflatex -shell-escape -halt-on-error $job.tex || exit -+ pdflatex -shell-escape -halt-on-error '\pdfinfo{/CreationDate('${PDF_DATE}')/ModDate('${PDF_DATE}')}\input{'${job}'.tex}' || exit - new_md5=$(md5sum < $job.aux) - [ "$old_md5" != "$new_md5" ] - do - old_md5="$new_md5" - done -+ grep -av '^/ID \[\(<[0-9A-F]\{32\}>\) \1]$' ${job}.pdf > ${job}.pdf.without_pdf_id -+ mv -f ${job}.pdf.without_pdf_id ${job}.pdf - touch $job.ok - done - |