From ccb3bc381995196d04b2cd41aca8fddb6a8ccb78 Mon Sep 17 00:00:00 2001
From: Dodji Seketeli <dodji@seketeli.org>
Date: Mon, 21 Mar 2016 12:59:38 +0100
Subject: [PATCH] Really execute the recipe of the 'docs' target in top-most
 Makefile

Make the 'docs' target be a PHONY one so that its recipe gets executed
even though there is a directory named 'docs' too.

Signed-off-by: Dodji Seketeli <dodji@seketeli.org>
Signed-off-by: Nicolas Sebrecht <nicolas.s-dev@laposte.net>
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 5de3e00..6f366da 100644
--- a/Makefile
+++ b/Makefile
@@ -40,6 +40,7 @@ clean:
 	-find . -name auth -exec rm -vf {}/password {}/username \;
 	@$(MAKE) -C clean
 
+.PHONY: docs
 docs:
 	@$(MAKE) -C docs