Re: [PATCH] gropdf: Fix papersize control command

[Alexis]

Thank you for the helpful context, Deri, much appreciated. I checked
the sources thoroughly, in order to have a good reasoning, but missed
to read the grodvi sources :/

Following the same order, i.e. width,height, to allow the same source to
run on either dvi or pdf makes a lot of sense; too bad this introduces a
little inconsistency with other paper format specifications.

What are your thoughts about naming the argument for the papersize
control command `paper-size` to distinguish it from the `paper-format`
argument of the -p option?


Best
Alexis