DRAFT: try png

This commit is contained in:
Cedric
2023-11-26 10:58:43 +00:00
parent c799d65826
commit 20b058fbc6
2 changed files with 4 additions and 3 deletions

View File

@@ -10,6 +10,7 @@ if [ "$#" -ne 1 ]; then
done
else
target=figures/`basename $1 .png.pdf`.png
echo ${target}
echo "Converting: " $1 " to: " ${target}
convert -density 900 -trim $1 -quality 100 ${target}
fi