> TW> But I still think that if this particular makefile setup is > TW> used in releases, 'pgen' should at least be made a tad less > TW> verbose. [Barry] > pgen also leaks like a sieve, but it's not worth patching. ;} Huh! And here I thought Thomas was suggesting we shorten its name to "pge". or-even-"p"-if-we-wanted-it-a-lot-less-verbose-ly y'rs - tim