WHAT????

[Stephen Weeks]

> The problem is that if I type `make' in the src directory it fails.  This is
> because the Makefile in the doc directory tries to run cvs.  That is really
> terrible.  I have the source.  You should NOT try to run cvs to get newer source.

I agree.

> If you want to have a separate make entry to `freshen' the sources, that is
> fine, but you can't go assuming that cvs is going to work.  It depends on
> environment variables and on being on a machine where the right .ssh files
> are in place.
> I can try to fake something, but I don't think it makes any difference since
> the source isn't really going to be usable to any one this way.

Don't bother.  I'll fix it when I get in tomorrow.  I'm off for the night.