Re: request for additional command-line option to makeinfo

[Karl Berry]

    command-line option to control the size of split info
    files.  

Thanks for the suggestion, I'll implement it when I have a chance if no
one else gets to it first :).