Re: @center @image text

[Karl Berry]

    Is it really correct to change the image text in that case?  

I feel like I'm missing something in what you're saying.  Clearly, a
text image that originally came from a file should never be changed by
either makeinfo or info, because (by definition) the user formatted it.

I was under the impression that Info displays what is in the text="..."
attribute without changing it (that's what Sergey fixed a few weeks
ago), but I admit I didn't really test it.

Oh, just occurred to me: are you thinking about the problem of making
*Info* center an image?  My feeling is, we can ignore that issue.

    Or shouldn't the Info reader only do something based, for example on
    what happens for the first line?  

Don't understand, sorry.

    Or based on an additional information we could embed in the image,
    like the indentation, or whether the image is inline or not?

Also don't understand, but I don't want to start passing more
information to Info about fancy formatting of text images.

The whole text image thing is pretty unimportant.  The gawk manual might
be the only one that is actually using the feature.  "Normal" manuals
just output a png or leave the image out of the Info, and that's good
enough.  Most manuals don't have images at all, for that matter.  So,
while we don't want the text-image output to be actively wrong, we
should't spend a lot of time perfecting the various cases.

karl