Wed Feb 21 01:19:11 PST 2007 Malcolm.Wallace@cs.york.ac.uk * Change the way packages are discovered at installation time. The user might have built more (or fewer) packages than the default set, so just install whatever built packages we can find. [And we no longer need to keep package lists manually in sync between ./configure and Makefile, hooray.] M ./configure -5 +1