pdfjadetext (was Re: DOCBOOK: styleheets)

[Steve Greenland <greenland@ellipsys.com>]

On 31-Oct-99, 12:46 (CST), Egon Schmid <eschmid@s.netic.de> wrote: 
> Sorry, but there is a pdfjadetex executable. I'm using Debian with
> Jadetex. 

For the record, "pdfjadetex" in Debian is just a link to pdftex.  Since
by default pdftex uses the format file that is the same as the name by
which it was started, "pdfjadetex" is the same as "pdftex &pdfjadetex.

Steve