'doc' is a phony target