Re: mandoc output paper size

Hi Ingo,

On 10/29/17 19:40, Ingo Schwarze wrote:
> Hi Mike, hi Jan,
>
> Mike Williams wrote on Sun, Oct 29, 2017 at 10:26:08AM +0000:
>
>> If the media size is important for a page then there
>> should be a PS setpagedevice call like the following:
> [...]
>> Basically don't rely on DSC comments to do media selection.
> [...]
>> It may be useful to use a media name such as man-A4, man-letter, etc.
>
> Thanks a lot for pointing me to the relevant features and documentation
> and for providing so much context. That really helped to improve
> mandoc PostScript output.

No problem. I do have an interest in this since this is my day work.
The better the PS/PDF driver the fewer support calls I have to deal with ;)

Cheers

--
Mike