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

[Dodji Seketeli]

Hello,

The source directory of offlineimap has a directory named 'docs'.  And
the top-most Makefile has a target named 'docs' as well.

So when you type the command "make docs", you get the message:

    make: 'docs' is up to date.

And make does not execute the target 'docs', because it sees that
there a directory named 'docs', so the target 'docs' is considered up
to date.

Hence, the target docs must be declared PHONY:
https://www.gnu.org/software/make/manual/html_node/Phony-Targets.html,
as does the patch below, which applies to the v6.7.0 tarball.

------------------>8<-----------------------
--- Makefile.orig	2016-03-21 10:25:55.437558069 +0100
+++ Makefile	2016-03-21 10:27:24.878770411 +0100
@@ -40,6 +40,7 @@
 	-find . -name auth -exec rm -vf {}/password {}/username \;
 	@$(MAKE) -C clean
 
+.PHONY: docs
 docs:
 	@$(MAKE) -C docs
------------------>8<-----------------------

Cheers,

-- 
		Dodji