On 2018-02-05 08:45:00 +0100, Matthias Klose wrote: > Trying to build the 4.0.0 release candidate 2 in Debian unstable, > the package fails to build the documentation: > > texlive is version 2017.20180110-1.
If I try to build the PDF manually (make pdf), I can't reproduce the problem. > /usr/bin/make -C build pdf info html > make[1]: Entering directory '/home/packages/gcc/mpfr/mpfr4-4.0.1~rc2/build' > Making pdf in doc > make[2]: Entering directory > '/home/packages/gcc/mpfr/mpfr4-4.0.1~rc2/build/doc' > TEXINPUTS="../../doc:$TEXINPUTS" \ > MAKEINFO='/bin/bash /home/packages/gcc/mpfr/mpfr4-4.0.1~rc2/missing makeinfo > --enable-encoding -I ../../doc' \ > texi2dvi --pdf --batch --build-dir=mpfr.t2p -o mpfr.pdf \ > ../../doc/mpfr.texi > This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) > (preloaded > format=pdfetex) > restricted \write18 enabled. > entering extended mode > > (../../../.././../../doc/mpfr.texi > (/home/packages/gcc/mpfr/mpfr4-4.0.1~rc2/doc/texinfo.tex > Loading texinfo [version 2013-02-01.11]: pdf, fonts, markup, glyphs, ^^^^^^^^^^^^^ This is strange. It should be: Loading texinfo [version 2018-01-09.11]: pdf, fonts, markup, glyphs, Don't the Debian tools corrupt the MPFR archive with an older texinfo version? FYI, the version used by MPFR 4 is the one from: https://ftp.gnu.org/gnu/texinfo/ i.e. https://ftp.gnu.org/gnu/texinfo/texinfo.tex https://ftp.gnu.org/gnu/texinfo/texinfo.tex.sig -- 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)