doc/genfigs.sh

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