Rev 95 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 95 | Rev 103 | ||
|---|---|---|---|
| Line 9... | Line 9... | ||
| 9 | 9 | ||
| 10 | if [ ! -f "$f.pdf" ]; then |
10 | if [ ! -f "$f.pdf" ]; then |
| 11 | echo "Converting $f.eps to $f.pdf"; |
11 | echo "Converting $f.eps to $f.pdf"; |
| 12 | egrep -v "^%%Orientation:" $f.eps | epstopdf --filter --outfile $f.pdf |
12 | egrep -v "^%%Orientation:" $f.eps | epstopdf --filter --outfile $f.pdf |
| 13 | fi |
13 | fi |
| - | 14 | ||
| - | 15 | if [ ! -f "$f.png" ]; then |
|
| - | 16 | echo "Converting $f.svg to $f.png"; |
|
| - | 17 | inkscape --without-gui --export-width=600 --export-png=$f.png $f.svg |
|
| - | 18 | ||
| - | 19 | fi |
|
| 14 | done |
20 | done |