/home/CVS-cmucl/src/docs/cmu-user
