Re: texinfo 4.0: flushleft, flushright, image, short contents

[Karl Berry]

    Below is a patch to change some of makeinfo's behavior when outputting
    html:

Thanks.  

    * two new optional arguments to the @image command:

Need this in texinfo.tex too.

    * when writing a short contents, the links in the short contents point
      to the "long" contents rather than the full document.

I'm not sure that's the right thing to do.  Wouldn't you rather see the
real content than just another pointer?  I can see it either way ...