diff options
author | Adrian Thurston <thurston@colm.net> | 2020-03-14 11:27:58 +0200 |
---|---|---|
committer | Adrian Thurston <thurston@colm.net> | 2020-03-14 11:27:58 +0200 |
commit | 2ba036ed94c826a0b814cf15181a4a9e6f89b178 (patch) | |
tree | 7a778c2b06c3d4a059cd8806ff4cdccf4a07b475 /doc/ragel/genfigs.sh | |
parent | 78e7949ca590b273c2c152a0abe0d51e590a52fd (diff) | |
download | colm-2ba036ed94c826a0b814cf15181a4a9e6f89b178.tar.gz |
removed ragel docs, old makefiles, todo, vim, etc
Diffstat (limited to 'doc/ragel/genfigs.sh')
-rwxr-xr-x | doc/ragel/genfigs.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/doc/ragel/genfigs.sh b/doc/ragel/genfigs.sh deleted file mode 100755 index 8d521075..00000000 --- a/doc/ragel/genfigs.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/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 - |