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

[Stefano Sabatini]

On date Thursday 2012-08-16 16:43:07 +0200, Clément Bœsch encoded:
> On Thu, Aug 16, 2012 at 04:39:00PM +0200, Stefano Sabatini wrote:
> > 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?
> 
> Sounds OK to me, as long as it causes no issue because of the directory of
> the same name.

Applied, can be reverted in case of problem (I didn't notice any), thanks.
-- 
FFmpeg = Furious Fostering Merciful Problematic Ecumenical Governor