# 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; }