[project @ 2001-10-30 19:01:43 by rrt]

[project @ 2001-10-30 19:01:43 by rrt]
Made db2pdf use jadetex|dvips|ps2pfd, not pdfjadetex. Two benefits:

  1. Smaller PDF files.
  2. jadetex is a little less exotic, and more likely to be on a given
system.

The actual motivation is only knowing of a working version of jadetex
for Windows and not of pdfjadetex (at least, not one that works on the
gargantuan tome that is the combined User's Guide and Libraries
Guide).