Skip to content
Newer
Older
100755 26 lines (21 sloc) 427 Bytes
1d58ac3 @limansky Created to images in Dia, and draft script to make png from it
limansky authored Sep 21, 2009
1 #!/bin/bash
2
3 # Process all dia images to OUTFORMAT images.
4 # Usage: makeimages [lang]
5 # If localized image is available - uses it, else uses default one.
6
7 OUTFORMAT=png
8
9 path="."
10 outpath="."
11
12 for img in `find $path -name "*.dia"`
13 do
14 infile=$img
15 if [[ -n $1 ]]
16 then
17 tst=../$1/figures-dia/${img#$path/}
18 if [[ -f $tst ]]
19 then
20 infile=$tst
21 fi
22 fi
23 outfile=$outpath/${img%.dia}.$OUTFORMAT
24 dia $infile -e $outfile
25 done
Something went wrong with that request. Please try again.