[FFmpeg-devel] [PATCH] doc/Makefile: add doc target, as an alias for "documentation"

[Stefano Sabatini]

On date Saturday 2012-08-11 12:01:29 +0200, Stefano Sabatini encoded:
> Consistent with --enable-doc, and easier to type.
> ---
>  doc/Makefile |    6 ++++--
>  1 files changed, 4 insertions(+), 2 deletions(-)
> 
> diff --git a/doc/Makefile b/doc/Makefile
> index 3fe6921..e594c44 100644
> --- a/doc/Makefile
> +++ b/doc/Makefile
> @@ -18,7 +18,9 @@ DOCS-$(CONFIG_MANPAGES)  += $(MANPAGES)
>  DOCS-$(CONFIG_TXTPAGES)  += $(TXTPAGES)
>  DOCS = $(DOCS-yes)
>  
> -all-$(CONFIG_DOC): documentation
> +all-$(CONFIG_DOC): doc
> +
> +doc: documentation
>  
>  documentation: $(DOCS)
>  
> @@ -72,4 +74,4 @@ clean::
>  
>  -include $(wildcard $(DOCS:%=%.d))
>  
> -.PHONY: documentation
> +.PHONY: doc documentation

Ping, anyone against it?
-- 
FFmpeg = Faithless F******* MultiPurpose Emblematic Glue