Date: Wed, 07 Jun 95 05:22:11 -0400
From: Wonkoo Kim <wkim+@pitt.edu>
To: eliz AT is DOT elta DOT co DOT il, djgpp users <djgpp AT sun DOT soe DOT clarkson DOT edu>,
        robijn AT Strw DOT LeidenUniv DOT NL
Reply-To: Wonkoo Kim <wkim+@pitt.edu>
Subject: Re: .ps or .dvi file from libc.tex?

> Date: Wed, 07 Jun 95 09:32:57 +0300
> From: eliz AT is DOT elta DOT co DOT il
> To: djgpp AT sun DOT soe DOT clarkson DOT edu,
>     robijn AT Strw DOT LeidenUniv DOT NL
> Subject: Re: .ps or .dvi file from libc.tex?

> 
> > I ftp'ed gcc from the DJGPP directory oak.oakland.edu (version 1.12m4).
> > Unfortunately I can't tex the file libc.tex in the docs/djgpp directory.
> 
> These are NOT TeX files, they are TexInfo sources of the Info docs.  You
> should download the txiNNNbn.zip and txiNNNdc.zip (NNN is the current
> version number) and use the stand-alone Info reader program included in
> that package to browse the GNU/DJGPP on-line docs.  This is explained in
> more detail in the DJGPP FAQ list (available as faq101.zip from the same
> place you got DJGPP), Chapter 4.
 
They ARE 'TeX' files.  It can be TeX'ed if you have 'texinfo.tex' 
file, which defines TeX macros.  TeXInfo docs are targeted for 
both 'TeX' and 'info'.

The texinfo.tex macro file usually comes with texinfo docs.  You 
can get it from a CTAN site (USA: ftp.shsu.edu) if djgpp package 
didn't have it.  Copy the file in your TEXINPUT dir, and then 
TeX'ing texinfo files will give you .dvi files.

//--------------------------------------------------------------------
// Wonkoo Kim
// wkim+@pitt.edu