#!@@PERL@@ -ps
#
#	This script is part of rtfdtohtml.
#	Copyright (c) 1996  Elmar Ludwig - Universitaet Osnabrueck
#
#	Embed source code in a large <PRE> ... </PRE> block.

print "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 3.2 Final//EN\">\n";

# remove some weird HTML-tags...
while (s/<(\w+)>([ \t]*)<\/\1>/$2/g) {}
s/<br>$//i;
s/<body>/$&<PRE>/i;
s/<\/body>/<\/PRE>$&/i;
