[docs] docs should be PHONY

hbang · Feb 13, 2017 · 5c7cb70 · 5c7cb70
1 parent 6e49cef
commit 5c7cb70
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs.mk b/docs.mk
@@ -25,3 +25,5 @@ docs:
 	[[ -d "$(DOCS_OUTPUT_PATH)" ]] || git clone -b gh-pages [email protected]:hbang/libcephei.git "$(DOCS_OUTPUT_PATH)"
 	rsync -ra "$(DOCS_STAGING_DIR)"/{html,publish}/ "$(DOCS_OUTPUT_PATH)"
 	rm -r "$(DOCS_STAGING_DIR)"
+
+.PHONY: docs