On 2019-07-08 13:18:35 +0200, Hilmar Preuße wrote: > Is the issue still present?
With the MPFR 3.1.6 tarball on the same machine, yes, but not with the 4.0.0 one. In the MPFR 3.1.6 tarball, if I replace the texinfo.tex file (2013-02-01.11) by the version from MPFR 4.0.0 (2017-12-18.20), this solves the problem. With the MPFR 3.1.6 tarball on a different Debian/unstable machine, there are no issues. Has there been a bug fix concerning the paper size in texinfo.tex, or does it work by chance with the new version? (In which case, the new version might not work under some other conditions, e.g. with other paper sizes.) > If one system behaves differently form the others it must differ > somehow. Are the system-wide settings equal on all of them? I think they are. > What does "paperconf" tell you? As I had said in the bug report, a4 in both cases (this is still the case). And /etc/papersize contains a4 in both cases. -- Vincent Lefèvre <[email protected]> - 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)
