On 2019-07-08 23:29:41 +0900, Norbert Preining wrote: > On Fri, 08 Sep 2017, Vincent Lefevre wrote: > > generated dvi and ps have a letter papersize, so that the contents > > dvi files don't have a paper size whatsoever attached.
Actually they can, though this may be non-standard. After generating the dvi file from the MPFR 4.0.0 tarball ("make dvi"), I get: zira:...ls/mpfr-4.0.0/doc> strings mpfr.dvi | head -3 TeX output 2019.07.09:0011 papersize=8.5in,11in papersize=210mm,297mm and dvips generates a file with A4 paper size, even when the system is configured for letter. So a part of the problem has been solved in the new texinfo.tex file (at least 2017-12-18.20, i.e. the one used in MPFR 4.0.0, is OK). -- 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)