Made doc a phony target in top-level Makefile