diff options
Diffstat (limited to 'manual/manual.sh')
| -rwxr-xr-x | manual/manual.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/manual/manual.sh b/manual/manual.sh index c4673938..4417f56c 100755 --- a/manual/manual.sh +++ b/manual/manual.sh @@ -39,7 +39,7 @@ fi set -ex -pdflatex $PDFTEX_OPT manual.tex +pdflatex $PDFTEX_OPT '\pdfinfo{/CreationDate('${PDF_DATE}')/ModDate('${PDF_DATE}')}\input{manual.tex}' if ! $fast_mode; then bibtex manual.aux @@ -50,10 +50,12 @@ if ! $fast_mode; then ! cmp autoloop.old autoloop.new do cp autoloop.new autoloop.old - pdflatex $PDFTEX_OPT manual.tex + pdflatex $PDFTEX_OPT '\pdfinfo{/CreationDate('${PDF_DATE}')/ModDate('${PDF_DATE}')}\input{manual.tex}' done rm -f autoloop.old rm -f autoloop.new fi +grep -av '^/ID \[\(<[0-9A-F]\{32\}>\) \1]$' manual.pdf > manual.pdf.without_pdf_id +mv -f manual.pdf.without_pdf_id manual.pdf |