[PATCH] Really execute the recipe of the 'docs' target in top-most Makefile

[Dodji Seketeli]

Here is a git patch.

>From f69f3e3fad2fd721e3659f94ba36ac8acfd1a686 Mon Sep 17 00:00:00 2001
From: Dodji Seketeli <dodji at seketeli.org>
Date: Mon, 21 Mar 2016 12:57:29 +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 at seketeli.org>
---
 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
 
-- 
1.8.3.1


-- 
		Dodji