Re: get mail from ssh

[Jarl Friis <jarl@diku.dk>]

Jarl Friis <jarl@diku.dk> writes:

> grossjoh@ls6.informatik.uni-dortmund.de (Kai =?iso-8859-15?q?Gro=DFjohann?=) writes:
> 
> > Clemens Fischer <ino@despammed.com> writes:
> > 
> > > makeinfo --footnote-style=end --no-split tramp.texi
> > > texi2dvi tramp.texi
> > > tex: not found
> > > stdin:119: warning: @menu seen before first @node, creating `Top'
> > > node.
> > > stdin:119: warning: perhaps your @top node should be wrapped in
> > > @ifnottex rather than @ifinfo?.
> > > stdin:119: Next field of node `Top' not pointed to.
> > > stdin:593: This node (Connection types) has the bad Prev.
> > > tex: not found
> > > /usr/local/bin/texi2dvi: tex exited with bad status, quitting.
> > > /usr/local/bin/texi2dvi: see tramp.log for errors.
> > 
> > Whee.  I didn't see these errors.  Btw, the "tex: not found" part is
> > for generating the printable version.  What happens when you manually
> > do
> > 
> >     makeinfo --footnote-style=end --no-split tramp.texi
> 
> "tex: not found" part is *NOT* only for generating the printable
> version.
> 
> 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. makeinfo uses TeX for precessing the texinfo-macros and
> processing the texinfo docuemnt.
> 
> So, yes you do need TeX even just to get the info files!

It certainly seems that I am not correct on this, sorry on the
mis-info.

Jarl