#! /usr/bin/gawk -f
# Last edited on 1999-04-09 06:35:45 by stolfi

BEGIN {
  abort = -1;
  usage = ( \
    "write-html-tailer >> OUTFILE.html" \
  );

  print "</body>";
  print "</html>";
}

function arg_error(msg) {
  printf "%s\n", msg >> "/dev/stderr"; 
  abort = 1;
  exit abort;
}