made the documentation targets into phony targets