# 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//<\1PRE>/g; }
/
/,/<\/PRE>/ { s/>/\>/g; s/<\([\/]*\)PRE\>/<\1PRE>/g; }
# Delete any 

between the beginning of a definition list (
) # and the first description/definition (
) /
/,/
/ { s/

<\/P>//g; } /

/,/
/ { s/

<\/P>//g; }