On 2019-07-08 15:19:10 +0200, Vincent Lefevre wrote: > There may be several issues: the mpfr.dvi files are identical on > both machines. The mpfr.ps files are different, but for the dvi > to ps conversion, the texinfo.tex file is not involved.
So, it looks like there was a texinfo bug in texinfo.tex (to be confirmed), but this file was provided by the automake package (bugs 882844 and 889647), and it was rather obsolete. There may be a bug in automake, if does not execute dvips with the right options. I still wonder the cause of the difference with dvips. A strace shows that ~/.dvipsrc is read in both cases, but the contents are the same, and a diff on the strace files does not show where the difference could come from. None of the environment variables mentioned in Section "3.3 Environment variables" of the dvips info manual are set. -- 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)
