Re: texi2dvi does not generate dvi on Debian Etch and MacOS X

[Anton Ertl]

Karl Berry wrote:
> 
> Hi Anton,
> 
> Thanks for writing, but I'm afraid you won't like my answer.
> 
>     The reason seems to be that texi2dvi calls etex, 
> 
> Not a bug.
> 
>     and etex looks as follows on this system:
>     lrwxrwxrwx 1 root root 7 Apr 10 11:48 /usr/bin/etex -> pdfetex*
> 
> Also not a bug.
> 
>     Now maybe this is a configuration error on Debian, 

Actually it turned out (well, Reinhard Kotucha found that out) to be
due to the version of texinfo.tex that we were distributing with
gforth (2002-03-26.08).  Once we delete this and use the texinfo 4.9
texinfo.tex, we get dvi files.  Sorry for the confusion and thanks for
your help.

- anton