[plt-scheme] `make install' and DESTDIR

On Jul 24, Ari Pollak wrote:
> Eli Barzilay wrote:
> > The problem is that you'll need many such options -- for each kind of
> > directory (collects, include, lib, doc, etc).
> 
> For my packaging purposes, at least, a root directory would suffice, e.g.
> /usr/local/lib/plt, as it doesn't matter to me what else is under there.

A root directory for what -- collects? include? lib? etc.

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!