#! /usr/bin/gawk -f
# Last edited on 1999-01-29 19:55:25 by stolfi
BEGIN {
abort = -1;
usage = ( \
"write-html-header \\\n" \
" -v title=TITLE \\\n" \
" -v wall=XXXXXX \\\n" \
" -v text=XXXXXX \\\n" \
" -v link=XXXXXX \\\n" \
" -v seen=XXXXXX \\\n" \
" > OUTFILE.html" \
);
if (title == "") { arg_error("must define \"title\""); }
if (wall == "") { wall = "ffffff"; }
if (text == "") { text = "000000"; }
if (link == "") { link = "0000ff"; }
if (seen == "") { seen = "770077"; }
print "";
print "";
print (" " title "");
print "";
print ("");
print "";
print ("" title "
");
}
function arg_error(msg) {
printf "%s\n", msg >> "/dev/stderr";
abort = 1;
exit abort;
}