make-3.80 does not have $(lastword ...). Fix this when ct-ng calls itself: don't try to be smart, we just _know_ where ct-ng is at configure time!
Fis a latent bug in handling the number parallel jobs.
4 font-family: verdana, arial, helvetica, sans-serif;
6 background-color: white;
9 /* part 1 of 2 centering hack */
19 /* opera does not like 'margin:20px auto' */
21 border: 3px groove #333;
23 /* part 2 of 2 centering hack */
24 width: 620px; /* ie5win fudge begins */
25 voice-family: "\"}\"";
31 width: 584px; /* ie5win fudge ends */
35 border:1px solid black;
42 font-family:verdana, sans-serif;
51 font-family:verdana, sans-serif;