Re: Setting page size from the command line

[Geoff Horton]

> Probably the best thing would be to make real options for the
> variables people actually want to set often.

I can't argue with that in principle, but the more I read on this
list, the more I realize that Lily is used for many different styles
and to many different ends. Determining who the "people" are whose
consensus would pick those options is therefore not an easy task.

Geoff