On 2019-07-08 23:29:41 +0900, Norbert Preining wrote:
> > This silently occurs, so that for instance, one may upload incorrect
> > files to a web server, which is really annoying.
>
> Well, dvips just follows what is configured for it. Since dvi does not
> have an embedded paper size, only what is defined in the dvips config
> files counts.
The global configuration is not OK since it may not match the
paper size for which the .dvi was generated. This is the case
on the machine where I can see the issue. Thus makeinfo should
use the "-t papertype" (or "-T papersize") dvips option.
> > The generated pdf is OK on both machines (a4 contents, a4 papersize).
>
> ??? How do you generate it?
"make pdf", which executes makeinfo, which executes:
texi2dvi --pdf --batch --build-dir=mpfr.t2p -o mpfr.pdf mpfr.texi
> > In case this matters (but this shouldn't), the paperconf command
> > outputs a4 on both machines.
>
> paperconf should trigger updates to config-paper.ps, too, so there
> should be a4 also.
zira:~> paperconf
a4
but /var/lib/texmf/dvips/config/config-paper.ps has
%
% config-paper.ps
%
% This part is only used for the paper configuration of dvips
@ letter 8.5in 11in
@+ ! %%DocumentPaperSizes: Letter
@+ %%BeginPaperSize: Letter
@+ /setpagedevice where
@+ { pop << /PageSize [612 792] >> setpagedevice }
@+ { /letter where { pop letter } if }
@+ ifelse
@+ %%EndPaperSize
@ a4 210mm 297mm
@+ ! %%DocumentPaperSizes: a4
@+ %%BeginPaperSize: a4
@+ /setpagedevice where
@+ { pop << /PageSize [595 842] >> setpagedevice }
@+ { /a4 where { pop a4 } if }
@+ ifelse
@+ %%EndPaperSize
[...]
I don't know what this means, but I get the letter size.
--
Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
