f8b31e82ca55f0dd6d00daff9f07bec1483960d5
[m17n/m17n-docs.git] / utils / dbdata.awk
1 BEGIN {
2   print "/***";
3 }
4
5 /".*\.(mim|flt|fst|tbl)"/ {
6   FROM=match($0, "\".*\\.(mim|flt|fst|tbl)\"") + 1;
7   LEN=RLENGTH-2;
8   FILE=substr($0, FROM, LEN);
9   DIR=FILENAME;
10   gsub("/[^/]*$", "", DIR)
11   system("utils/dbdata.sh "DIR" "FILE);
12   printf "\n";
13 }
14
15 /^;;;/ {
16   print substr($0, 5);
17 }
18
19 END {
20   print "*/";
21 }