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

[Nicolas Sebrecht]

On Mon, Mar 21, 2016 at 11:21:08AM +0100, Dodji Seketeli wrote:

> Hello,

Hi,

> 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.

I'm fine with the patch but it should be formatted by git and for git so
I can merge easily.

Please read http://www.offlineimap.org/doc/dco.html too.

> ------------------>8<-----------------------

Seems a broken scissors line. See the git-mailinfo manual.

> --- 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<-----------------------

This scissors must not be there.

-- 
Nicolas Sebrecht