2022-12-11 21:21:55 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2023-01-10 00:17:53 +01:00
|
|
|
TMP=$(mktemp -d)
|
2022-12-11 21:21:55 +01:00
|
|
|
NAME=$(basename "${1}" .pdf)
|
2023-01-10 00:17:53 +01:00
|
|
|
FIXED="${TMP}/${NAME}-fixed.pdf"
|
2022-12-11 21:21:55 +01:00
|
|
|
pdftops "${1}" - | ps2pdf12 - "${FIXED}"
|
2023-01-10 00:17:53 +01:00
|
|
|
echo "${FIXED}"
|