Here is a git patch.

>From f69f3e3fad2fd721e3659f94ba36ac8acfd1a686 Mon Sep 17 00:00:00 2001
From: Dodji Seketeli <[email protected]>
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 <[email protected]>
---
 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

_______________________________________________
OfflineIMAP-project mailing list: [email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/offlineimap-project

OfflineIMAP homepages:
- https://github.com/OfflineIMAP
- http://offlineimap.org

Reply via email to