.texinfo

[Petr Holecek]

On Fri, 26 Jan 1996, Martin Molhanec Ing. K313 wrote:

>
>
>     Hi all !
>
>     Prosim Vas, jakym programem je mozne tisknout dokument s
> koncovkou .texinfo ? Potrebuji si vytisknout dosemu.texinfo z Linuxu.
>

Pokud mate nainstalovan TeX tak je na to script texi2dvi, ktery z texinfo
souboru vytvori dvi.


---------------------------------------------- Petr Holecek ----------
                                               hol at dbs.zcu.cz