#!/usr/bin/awk -f
# txt2html
# HP 20011122

BEGIN {
  print "<pre>"
}

{
  gsub("<","\\&lt;");
  gsub(">","\\&gt;");
  print $0;
}

END {
  print "</pre>"
}

