5.6. work/*

When you type ``make'' the distribution files are unpacked into this directory. It can be removed by typing

	make clean
  
at the shell prompt. Also, this directory is used to keep various timestamp files.