On 17 Feb 2000, Akim Demaille wrote:

>         texi2dvi texinfo.texi
> 
> which is right (I don't recall the name, maybe texinfo.texinfo :)

Actually, it's texinfo.txi (to avoid file-name clashes with texinfo.tex
on 8+3 DOS filesystems ;-).

Reply via email to