# Change """ to """, "<" to "<", and ">" to ">". # within
...in HTML code. Character escapes must be lower case!!! # The "&" character does not need anything special. /
/,/<\/PRE>/ { s/"/\"/g; }
//,/<\/PRE>/ { s/\</g; s/\<\([\/]*\)PRE>/<\1PRE>/g; }
//,/<\/PRE>/ { s/>/\>/g; s/<\([\/]*\)PRE\>/<\1PRE>/g; }
# Delete any between the beginning of a definition list (<\/P>//g; } /
<\/P>//g; }