On Sun, Jan 24, 2010 at 8:09 PM, Carl Eastlund <[email protected]> wrote: > On Sun, Jan 24, 2010 at 7:26 PM, Eli Barzilay <[email protected]> wrote: >> Possible release announcement items below. Please mail me new items >> and edits or deletions. >> ---------------------------------------------------------------------- >> >> * [Carl] New $PLTADDONDIR, `--addon'/`-A' flags?
[UPDATE:] * PLT Scheme's add-on directory can now be customized by the PLTADDONDIR environment variable and the --addon or -A command-line flags. This directory is used to store downloaded Planet packages and rendered Scribble documentation. Customization allows multiple installations of DrScheme to coexist without sharing (potentially incompatible) compiled files. --Carl _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
