#!/usr/bin/perl -w
# html-zing filter for mptp problems/results using
# the mptp notation
# SYNOPSIS:
# mptp_html.pl t10_abcmiz_0 > t10_abcmiz_0.html
$docroot = "http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html.930/";
$header = "";
$footer = "
";
print "$header \n";
while (<>)
{
s/\b(([dgklmrtuv]|rc|cc|fc)[0-9]+)_([a-z0-9_]{1,8}\b)/$1_$3<\/a>/g;
print $_;
}
print "$footer\n";