Re: Problem making 2.13.2.1 documentation, related to texinfo.tex

[Eli Zaretskii]

> Date: Thu, 6 Feb 2003 10:54:23 -0500 (EST)
> From: Andrew Koenig <address@hidden>
> 
> make[1]: Entering directory `/tmp/build-gnu26652/binutils-2.13.2.1/gas'
> Making dvi in doc
> make[2]: Entering directory `/tmp/build-gnu26652/binutils-2.13.2.1/gas/doc'
> TEXINPUTS=../../texinfo/texinfo.tex:$TEXINPUTS \
>   MAKEINFO='makeinfo  -I .' `if test -f ../../texinfo/util/texi2dvi; then 
> echo ../../texinfo/util/texi2dvi; else echo texi2dvi; fi` as.texinfo
> /usr/gnu/bin/texi2dvi: ../../texinfo/texinfo.tex: not a directory

I think the line that begins with "TEXINPUTS" is the problem: it
should list _directories_, not _files_.  But texinfo.tex is a file,
that's why texi2dvi complains.

And it's quite possible that this is also the reason that TeX barfs:
since it cannot find texinfo.tex bundled with Binutils, it uses the
version of texinfo.tex from your system, which might be old and might
not support all the newer Texinfo features used by as.texinfo.