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
