[plt-scheme] [patch] pltscheme doesn't respect destdir

[Matthew Flatt]

At Sun, 22 Jul 2007 16:56:22 +0200, "Marijn Schouten (hkBst)" wrote:
> pltscheme doesn't always respect destdir. The following patch fixes a few 
> occurences of this.

Thanks! Emil Mikulic had sent the same patch (PR 8801), and I had
forgotten to apply it. It's now applied in SVN.

Matthew