INSTALLATION

- cd to the directory PORT/linux

- take a glance at the Makefile to set the installation prefix and the
  other things. Check whether they are correct. If not change them.

- make all

- make install

- Now everything is compiled and installed.

	Gertjan

Gertjan van Wingerde
<gertjan@cs.vu.nl>

