Thanks a lot Gavin! That helped me find the problem.
I have my own TeX Live installation, built directly from the
`install-tl' script on TeX Live's webpage. It is independent of the
operating system's package manager (and managed by `tlmgr').
A recent package I installed from my operating sys
On Thu, Sep 20, 2018 at 05:48:19PM +0200, Mohammad Akhlaghi wrote:
> 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
> ../boots
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