doc/Makefile no longer exists.