Help for this page
perl -pe 'm|<pre>|...m|</pre>| and $_.="<p/>"' < your-html-file
<html> ...etc... ... <p/></pre> <p/>...etc... </html>