@image inside @example works with --docbook but not --html

[Per Bothner]

Given test.texi:

@settitle Images test
@image{paint-circ-1}
@example
#|kawa:2|# @kbd{(circle 30)}
@image{paint-circ-2}
@end example

and

touch paint-circ-1.png paint-circ-2.png
makeinfo --docbook test.texi --no-split -o test.xml
makeinfo --html test.texi --no-split -o test.html

Notice that test.xml has a valid <imagedate> for both
paint-circ-1.png and paint-circ-2.png. However,
test.html only has a valid <img> for paint-circ-1.png, not paint-circ-2.png.

This is makeinfo 6.1.
--
        --Per Bothner
address@hidden   http://per.bothner.com/