@image, scale, html

[Akim Demaille]

Is rescaling supposed to work in HTML?  I couldn't find a "no" in the
documentation, but found it in the output.

% LC_ALL=C makeinfo --enable-encoding --fill-column=76 --commands-in-node-names 
--no-split -I . --html --no-split assignments.texi
% grep design-pattern assignments.texi  nostromo 13:53
@image{design-patterns, 2cm}
% grep design-pattern assignments.html  nostromo 13:57
<img src="design-patterns.jpg" alt="design-patterns.jpg">

Thanks!