utils/dbdata.awk

   1 BEGIN {
   2   print "/***";
   3 }
   4
   5 /".*\.(tbl|mim|tab|flt)"/ {
   6   FROM=match($0, "\".*\.(tbl|mim|tab|flt)\"") + 1;
   7   LEN=RLENGTH-2;
   8   FILE=substr($0, FROM, LEN);
   9   system("sed -n '/^[;#][;#]* <li>/,/^$/s/^[;#][;#]* *//p' "FILE);
  10   printf "\n";
  11 }
  12
  13 /^;; / {
  14   print substr($0, 4);
  15 }
  16
  17 END {
  18   print "*/";
  19 }