> Date: Sat, 30 Oct 1999 23:45:16 -0400 (EDT)
> From: [EMAIL PROTECTED] (John Sankey)
> In HTML, the brackets < and > are reserved to delimit HTML codes, and
> must be represented by < and > when used in text. The
> conversion system from texinfo appears to believe that they don't
> have to be changed inside <pre> </pre> blocks. They do.
AFAIK, this behaviour depends on the browser. Some years ago any sort
of HTML had been ignored just after "<pre>" up to the next *line*
beginning with just "</pre>". The data immediately following "<pre>"
was the first line of the "pre"-formatted output.
<pre> <pre> may be used for
preformatted output.
</pre>
resulted in
<pre> may be used for
preformatted output.
-- Werner
