makeinfo 4.8 generates non-standard HTML for @address@hidden

[Gerald Pfeifer]

In the GCC documentation (gcc/doc/install.texi) we have the following
texinfo snippet

  @emph{You should substitute @samp{i686} in the above command with the 
  appropriate processor for your host.}

makeinfo 4.8 translates this to

  <p><em>You should substitute `<samp></em><span class="samp">i686</span>
  <em></samp>' in the above command with the appropriate processor 
  for your host.</em>

which is not valid HTML 4.01 nor XHTML 1.0 transitional according to 
validator.w3.org.

(The original file is at <http://gcc.gnu.org/install/specific.html>.)

Gerald