[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gropdf: Fix papersize control command
From: |
Alexis |
Subject: |
Re: [PATCH] gropdf: Fix papersize control command |
Date: |
Sat, 5 Aug 2023 16:36:31 +0200 |
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