jwise 29e789437a Add a bit of DESTDIR handling which had gotten lost in a previous round of ... cleanup. Also GC two more variables.		2002-03-29 20:56:28 +00:00
..
mk	…
notes	…
sets	…