diff options
| author | Jan Aalmoes <jan.aalmoes@inria.fr> | 2024-09-11 00:10:50 +0200 |
|---|---|---|
| committer | Jan Aalmoes <jan.aalmoes@inria.fr> | 2024-09-11 00:10:50 +0200 |
| commit | bf5b05a84e877391fddd1b0a0b752f71ec05e901 (patch) | |
| tree | 149609eeff1d475cd60f398f0e4bfd786c5d281c /synthetic/pdfcompress.sh | |
| parent | 03556b31409ac5e8b81283d3a6481691c11846d7 (diff) | |
Preuve existe f pas cca equivalant exists f BA pas randomguess
Diffstat (limited to 'synthetic/pdfcompress.sh')
| -rw-r--r-- | synthetic/pdfcompress.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/synthetic/pdfcompress.sh b/synthetic/pdfcompress.sh new file mode 100644 index 0000000..54c3555 --- /dev/null +++ b/synthetic/pdfcompress.sh @@ -0,0 +1 @@ +gs -sDEVICE=pdfwrite -dCompatibilityLevel=1.4 -dPDFSETTINGS=/ebook -dNOPAUSE -dQUIET -dBATCH -sOutputFile=compressed_PDF_file.pdf $1 |