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

[Clément Bœsch]

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.

-- 
Clément B.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 490 bytes
Desc: not available
URL: <http://ffmpeg.org/pipermail/ffmpeg-devel/attachments/20120816/ed0889d2/attachment.asc>