Rev. | 798cfb66f84368e08e27288d2461eca0e29901d0 |
---|---|
Size | 163 bytes |
Time | 2019-03-18 23:48:30 |
Author | Lorenzo Isella |
Log Message | I improved the file names of the generated files. |
#!/bin/bash
#convert pdf to png
FILES="*.pdf"
for F in $FILES
do
newname=`basename "$F" .pdf`
echo $newname
pdftoppm $F -rx 300 -ry 300 "$newname" -png
done