blob: 8d521075edf9d0efc26e6c1f8faba1a12e441f67 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#!/bin/bash
#
input=ragel-guide.tex
for fig; do
if awk -f extract.awk -vexname=$fig $input > /dev/null; then
echo generating ${fig}.dot
opt=`awk -f extract.awk -vexname=$fig $input |
sed '/^ *OPT:/s/^.*: *//p;d'`
awk -f extract.awk -vexname=$fig $input > ${fig}.rl
../ragel/ragel -V -p ${fig}.rl > ${fig}.dot
else
echo "$0: internal error: figure $fig not found in $input" >&2
exit 1
fi
done
|
