/*% cat %
This directory is used to store *.o files for ../source/*.c files.
Thus it initially contains a Makefile only.

DIRECTORIES:

FILES:

Makefile -- PWB Make input to do the loads

PATHNAME repl change lines:

None.
