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

[Karl Berry]

    I don't think sprintf is good enough: name_arg and ext_arg could have
    special commands like @@, @value, etc.  

I think that might be ok, we could require that filenames are straight
text.  I doubt anything else works in texinfo.tex, if it does it's an
accident.

Thanks.