Delete the Makefile from the doc directory.

doc/Makefile:
    Delete an old Makefile.  (This was probably resurrected
    during the cvs2git conversion process.)