Re: instant printing

[Eli Zaretskii]

> From: Akim Demaille <address@hidden>
> Date: 01 Jun 2001 15:23:15 +0200
> 
> Karl> The standard target name is `dvi'.  But it's usually simpler to
> Karl> run texi2dvi.
> 
> It's even simpler to use a2ps :)
> 
> /tmp/texinfo-4.0b/doc % LC_ALL=C a2ps -o texinfo.ps texinfo.txi
> stdin:97: warning: @menu seen before first @node, creating `Top' node.
> stdin:97: warning: perhaps your @top node should be wrapped in @ifnottex 
> rather than @ifinfo?.
> stdin:97: Next field of node `Top' not pointed to.
> stdin:660: This node (Reporting Bugs) has the bad Prev.
> [texinfo.txi (texinfo, delegated to texi2dvi): 239 pages on 60 sheets]
> [Total: 240 pages on 60 sheets] saved into the file `texinfo.ps'

This seems to indicate that it simply runs texi2dvi and then dvips
(except that "dvips foo.dvi" usually prints the material, instead of
sending it to a file).  Is that right?