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
Content-Type: TEXT/PLAIN; charset=US-ASCII
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
Precedence: bulk


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 ;-)