texi2dvi error on -recoder and \openout

[Mohammad Akhlaghi]

Hi,

Today when I tried to build the PDF version of Gnuastro's manual (with 
`make pdf'), I confronted the following error:


make[1]: Entering directory '/home/myid/work/tmp/gnuastro-0.7/doc'
TEXINPUTS="../bootstrapped/build-aux:$TEXINPUTS" \
MAKEINFO='/bin/bash 
/home/myid/work/tmp/gnuastro-0.7/bootstrapped/build-aux/missing makeinfo 
-I ../bootstrapped/doc -I .  -I .' \
texi2dvi -I ../bootstrapped/doc -I . --pdf --batch 
--build-dir=gnuastro.t2p -o gnuastro.pdf  \
gnuastro.texi
/usr/bin/texi2dvi: TeX neither supports -recorder nor outputs \openout 
lines in its log file
make[1]: *** [Makefile:1750: gnuastro.pdf] Error 1
make[1]: Leaving directory '/home/myid/work/tmp/gnuastro-0.7/doc'
make: *** [Makefile:1833: pdf-recursive] Error 1


Texi2dvi is from Texinfo version 6.5 (2017).

This problem can be reproduced with the Gnuastro tarball:
http://ftp.gnu.org/gnu/gnuastro/gnuastro-0.7.tar.gz
But I also tried it on GAWK's tarball (which has fewer dependencies and 
is easier to check/reproduce), and the problem comes up there too:
http://ftp.gnu.org/gnu/gawk/gawk-4.2.1.tar.gz

I build PDF manuals regularly, the only related thing that might have 
affected this is that I ran `tlmgr update --all' recently and something 
related to DVI was updated. But I don't know how to get the history of 
installed packages with `tlmgr' to check what it was. If it is relevant, 
could you please give me the necessary command to check?

Thank you very much,
Mohammad