Here are the TeX files. I included the original gifs as well as my converted eps
files.
>>> <[EMAIL PROTECTED]> 3/7/2001 3:13:32 PM >>>
>
> My pleasure.
>
> I used html2latex. The following is the URL for the
> homepage. It (and Paul) really did the work, but I will take
> some credit. :-)
>
> http://html2latex.sourceforge.net
>
> >>> Ovidiu Predescu <[EMAIL PROTECTED]> 3/7/2001 2:42:29 PM >>>
>
> This is very nice, thanks for the work!
>
> I assume you converted the XML documentation to texinfo format? What
> tool did you use to do the conversion?
Can I get a copy of the texinfo file(s)? I would like to generate info
files. Thanks
Chuck
jde-ug-texsource.tar.gz
