#! /usr/bin/gawk -f
# Last edited on 1999-07-19 23:48:39 by stolfi

BEGIN {
  np = 0;
  fname = "";
  abort = -1;
}

(abort >= 0) { exit abort; }

/^#/ { next; }

/^=== .* ===*$/ {
  np++;
  if (fname != "") { close(fname); }
  fnum = $2;
  type = $3;
  gnum = sprintf("%04d", np);
  fname = ("evt-parags/" gnum); 
  print fname > "/dev/stderr";
  print gnum, fnum > "parag-to-fnum.tbl";
  print gnum, type > "parag-to-type.tbl";
  next;
}

/</ {
  if (fname == "") 
    { printf "missing separator\n" > "/dev/stderr"; abort = 1; exit 1; }
  print > fname;
  next;
}

END {
  if (abort >= 0) { exit abort; }
  if (fname != "") { close(fname); }
}