3 # source the global config file
8 SED1
="sed s/#000000/$OUTLINECOLOR/g"
9 SED2
="sed s/stroke-width:20/stroke-width:$OUTLINE/g"
10 SED3
="sed s/#999999/$CURSORCOLORHI/g"
11 SED4
="sed s/#555555/$CURSORCOLORLO/g"
12 SED5
="sed s/#999933/$HILIGHTHI/g"
13 SED6
="sed s/#666600/$HILIGHTLO/g"
14 SED7
="sed s/#010101/$HAIR/g"
51 if [ ! -d build
] ; then mkdir build
; fi
52 if [ ! -d tmp
] ; then mkdir tmp
; fi
53 if [ ! -d cursors
] ; then mkdir cursors
; fi
54 if [ ! -d shadows
] ; then mkdir shadows
; fi
58 if [ -f svg
/$f.svg
] ; then
59 cat svg
/$f.svg |
$SED1 |
$SED2 \
60 |
$SED3 |
$SED4 |
$SED5 |
$SED6 |
$SED7 > tmp
/tmp.svg
63 echo "skipping $f: no svg file found."
67 # the pointer combined cursors
78 if [ -f svg
/$f.svg
] ; then
79 cat svg
/$f.svg |
$SED1 |
$SED2 \
80 |
$SED3 |
$SED4 |
$SED5 |
$SED6 |
$SED7 > tmp
/tmp.svg
81 .
/svg2png.bash
$f $f -BACKGROUND default
-SHADOW move
83 echo "skipping $f: no svg file found."
89 if [ ! -d build
/help ] ; then
92 cat svg
/help1.svg |
$SED1 |
$SED2 \
93 |
$SED3 |
$SED4 |
$SED5 |
$SED6 |
$SED7 > tmp
/tmp.svg
94 .
/svg2png.bash
help -PART 1 -BACKGROUND default
-SHADOW move
-TIME 2000
95 cat svg
/help2.svg |
$SED1 |
$SED2 \
96 |
$SED3 |
$SED4 |
$SED5 |
$SED6 |
$SED7 > tmp
/tmp.svg
97 .
/svg2png.bash
help -PART 2 -BACKGROUND default
-SHADOW move
-TIME 500
100 if [ ! -d build
/progress
] ; then
103 cat svg
/progress.svg |
$SED1 |
$SED2 \
104 |
$SED3 |
$SED4 |
$SED5 |
$SED6 |
$SED7 > tmp
/tmp.svg
105 for (( i
=1; $i < 25; i
++ )); do
106 .
/svg2png.bash progress
-PART $i -BACKGROUND default
-SHADOW move
107 patch -f --silent tmp
/tmp.svg svg
/progress.
diff >> /dev
/null
111 if [ ! -d build
/wait ] ; then
114 cat svg
/wait.svg |
$SED1 |
$SED2 \
115 |
$SED3 |
$SED4 |
$SED5 |
$SED6 |
$SED7 > tmp
/tmp.svg
116 for (( i
=1; $i < 37; i
++ )); do
117 .
/svg2png.bash
wait -PART $i
118 patch -f --silent tmp
/tmp.svg svg
/wait.
diff >> /dev
/null
125 echo "silent make install"