Re: [PATCH] gropdf: Fix papersize control command

[Deri]

On Saturday, 5 August 2023 15:36:31 BST Alexis wrote:
> 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

Hi Alexis,

Yes, that is a good idea, it definitely needs to draw attention to the 
reversal of the order. :-)

Cheers 

Deri