*** empty log message ***

diff --git a/utils/dbdata.awk b/utils/dbdata.awk
new file mode 100644 (file)
index 0000000..be6fd3f
--- /dev/null
+++ b/utils/dbdata.awk
@@ -0,0 +1,19 @@
+BEGIN {
+  print "/***";
+}
+
+/".*\.(tbl|mim|tab|flt)"/ {
+  FROM=match($0, "\".*\.(tbl|mim|tab|flt)\"") + 1;
+  LEN=RLENGTH-2;
+  FILE=substr($0, FROM, LEN);
+  system("sed -n '/^[;#][;#]* <li>/,/^$/s/^[;#][;#]* *//p' "FILE);
+  printf "\n";
+}
+
+/^;; / {
+  print substr($0, 4);
+}
+
+END {
+  print "*/";
+}