WHAT????

[Henry Cejtin]

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.
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.