#! /usr/bin/gawk -f
# Last edited on 2003-03-03 00:15:56 by stolfi

/[#]/ {
  lin = $0;
  while(match(lin, /href="FromBib[.]html[#]/))
    { lin = substr(lin, RSTART+RLENGTH);
      if (! match(lin, /^[-a-zA-Z0-9]+["]/)) { error(("bad tag ref")); }
      tag = substr(lin, 1, RLENGTH-1);
      lin = substr(lin, RLENGTH+1);
      print tag;
    }
  next
}

// {
  next;
}

function error(msg)
{
  printf "file %s, line %s: %s\n", FILENAME, FNR, msg > "/dev/stderr";
  abort = 1;
  exit abort;
}