ian 213d41781d Switch from CONFIGURE_ARGS to CONFIGURE_ENV to beat gnu configure over
the head into using /usr/local.  Copy the ENVIRONMENT setup file.
Bump version number by one since it seems to fix the configuration problems.
1998-10-23 16:25:37 +00:00
..
1998-10-13 14:52:34 +00:00
1998-10-13 14:52:34 +00:00
1998-02-03 06:01:57 +00:00
1998-08-28 19:58:16 +00:00
1998-10-13 15:01:45 +00:00
1998-01-24 22:33:50 +00:00