[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).