nesting of @display and @example

[Ralf Wildenhues]

Hello texinfo fellas, ;-)

I was wondering whether it was ok to nest an @example inside a @display.
The node `noindent' of the CVS texinfo manual suggests that it uses
this, and so I assume it should be ok to use.

For example, @example is used inside @display in the Autoconf-2.59d file
doc/autoconf.texi in node `Defining Directories'.

-- snip --
@display
My program needs library files, installed in @code{datadir} and
similar.  If I use

@example
AC_DEFINE_UNQUOTED([DATADIR], [$datadir],
  [Define to the read-only architecture-independent
   data directory.])
@end example

@noindent
I get

@example
#define DATADIR "address@hidden@}/share"
@end example
@end display
-- snip --

The output looks ok for info, dvi, ps, pdf, but not for html; also,
tidy complains for the file Defining-Directories.html, created as
output of `makeinfo --html autoconf.texi' (CVS texinfo):

| line 1 column 1 - Warning: missing <!DOCTYPE> declaration
| line 58 column 1 - Warning: missing </pre> before <pre>
| line 63 column 1 - Warning: inserting implicit <pre>
| line 65 column 6 - Warning: using <br> in place of <p>
| line 65 column 6 - Warning: replacing <p> by <br>
| line 63 column 1 - Warning: missing </pre> before <pre>
| line 67 column 1 - Warning: inserting implicit <pre>
| Info: Document content looks like HTML 4.01 Strict
| 7 warnings, 0 errors were found!

and indeed the `I get' gets rendered too far to the left, because the
html output tries to nest <pre> which is not allowed by HTML, as far as
I know:

-- next line is line 58 --
<pre class="display">     My program needs library files, installed in 
<code>datadir</code> and
     similar.  If I use
     <pre class="example">          AC_DEFINE_UNQUOTED([DATADIR], [$datadir],
            [Define to the read-only architecture-independent
             data directory.])
</pre>

     <p class="noindent">I get
     <pre class="example">          #define DATADIR "${prefix}/share"
</pre>
</pre>
-- snip --


Was this understandable?  Is it useful to report bugs like this (there
are a couple more bugs like this in store)?  Please Cc: me on replies.

Cheers,
Ralf