On 2023-08-28 11:15:15 +0200, Matthias Klose wrote: > > Apparently this is due to the fact that the upstream mpfr.info file > > is rebuilt. > > the package is built in a separate build dir. shouldn't the upstream > makefile also build the info file in the build tree?
I'm not sure. The issue is that the info file may already be available in the source tree (this is always the case for tarballs), so that there could be some confusion. We're using info_TEXINFOS = mpfr.texi and the Makeinfo manual says: It is worth noting that, contrary to what happens with the other formats, the generated ‘.info’ files are by default placed in ‘srcdir’ rather than in the ‘builddir’. This can be changed with the ‘info-in-builddir’ option. So the question is whether we should use this option. Is it common among other software? -- 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)
