Re: get mail from ssh

[Jesper Harder <harder@myrealbox.com>]

Jarl Friis <jarl@diku.dk> writes:

> texinfo certanly requires TeX. texinfo files are a TeX-files! (they
> are just not plain-tex files)
>
> The first line in a texinfo file contains "\input texinfo" which loads
> the texinfo format all the macros that makes up the texinfo-tags.

Yes, but that's only used when you process the file with TeX.

> makeinfo uses TeX for precessing the texinfo-macros and processing the
> texinfo docuemnt.

Nope, 'makeinfo' doesn't use TeX.  Of course, 'texi2dvi' and 'texi2pdf'
*do* need TeX -- but you don't need it if you only want info files.

> So, yes you do need TeX even just to get the info files!

Try removing or renaming your tex executable, and try this:

$ tex 
bash: tex: command not found
$ makeinfo message.texi
$ ls message*
message  message-1  message-2  message.texi