Re: Texinfo, A4 paper, double-sided, margins

[Karl Berry]

    I think this is a REAL flaw in texinfo. The margin should vary with the
    double-sided option as well.

Well, I don't have any way to print on A4 paper, so I can't see what the
results are with the current margins.  If you can tell me what margins
would be better, I can work on making it happen.  Or, of course, you can
just modify them to be whatever you want by modifying texinfo.tex.