source:
trunk/doc/convert_all_eps_to_png.sh@
23
Last change on this file since 23 was 2, checked in by , 16 years ago | |
---|---|
|
|
File size: 152 bytes |
Rev | Line | |
---|---|---|
[2] | 1 | #! /bin/sh |
2 | ||
3 | for file in *.eps | |
4 | do | |
5 | echo ">> Converting file $file" | |
6 | ./doc/epstosmth --gsopt='-r60x60 -dGraphicsAlphaBits=4' --gsdev=png16m $file | |
7 | done |
Note:
See TracBrowser
for help on using the repository browser.