validate-docs is a PHONY target