From 5c7cb70b806f1d01a0b9616298dd7ab62613ee7a Mon Sep 17 00:00:00 2001
From: Adam Demasi <adam@hbang.com.au>
Date: Mon, 13 Feb 2017 18:48:55 +1030
Subject: [PATCH] [docs] docs should be PHONY

---
 docs.mk | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs.mk b/docs.mk
index 56d8959..ad0fe79 100644
--- a/docs.mk
+++ b/docs.mk
@@ -25,3 +25,5 @@ docs:
 	[[ -d "$(DOCS_OUTPUT_PATH)" ]] || git clone -b gh-pages git@github.com:hbang/libcephei.git "$(DOCS_OUTPUT_PATH)"
 	rsync -ra "$(DOCS_STAGING_DIR)"/{html,publish}/ "$(DOCS_OUTPUT_PATH)"
 	rm -r "$(DOCS_STAGING_DIR)"
+
+.PHONY: docs