Date:	Mon, 11 Dec 2000 09:11:33 +0200 (IST)
From:	Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
X-Sender:	eliz AT is
To:	Florian X <dos DOT fire AT aon DOT at>
cc:	djgpp AT delorie DOT com
Subject:	Re: TEX again
In-Reply-To:	<3a33db31$0$14470@SSP1NO25.highway.telekom.at>
Message-ID:	<Pine.SUN.3.91.1001211091113.11147C-100000@is>
MIME-Version:	1.0
Reply-To:	djgpp AT delorie DOT com
Errors-To:	nobody AT delorie DOT com
X-Mailing-List:	djgpp AT delorie DOT com
X-Unsubscribes-To:	listserv AT delorie DOT com

On Sun, 10 Dec 2000, Florian X wrote:

> Ist there also an file which can produce a HTML  file from a DVI file?

Not really.  There's the TeX4Htk package in the v2apps/tex directory,
but it requires that the TeX sources include a special style file, and
so might not work with documents written in Texinfo.

But why do you need such a utility?  The makeinfo program (from
txi40b.zip) can produce HTML files directly from Texinfo sources, so
you shouldn't need to go through the extra step of producing a DVI
file.

> Where can I find TEX2DVI? I haven't found it.

It's texi2dvi, not tex2dvi.  It is a shell script which comes with the
Texinfo distribution, and it should already be in your bin
subdirectory.  Unless your interactive shell is Bash, you invoke
texi2dvi via Bash, like this:

	       sh texi2dvi foo.texi

> TEX is realy good!!! They are great tools!!!

Yes.  Print your documents via dvips or dvilj4, and see your
Word-using friends turn green of envy ;-)

- Raw text -