[FFmpeg-devel] [PATCH] doc: fix install-doc dependencies
michaelni at gmx.at
Sat Sep 7 21:43:53 CEST 2013
On Wed, Sep 04, 2013 at 04:19:58PM +0200, Michael Niedermayer wrote:
> On Wed, Sep 04, 2013 at 01:22:14AM -0300, James Almer wrote:
> > On 04/09/13 12:11 AM, Michael Niedermayer wrote:
> > > On Sun, Sep 01, 2013 at 07:00:06PM -0300, James Almer wrote:
> > >> Put it inside its own ifdef conditional.
> > >>
> > >> Signed-off-by: James Almer <jamrial at gmail.com>
> > >
> > > with this patch
> > > make install-doc
> > > would succeed but install nothing when html pages are disabled
> > > is that intended ?
> > > naively it seems unexpected to me that the make command should
> > > succeed but not install anything
> > It shows a "Nothing to be done for 'install-doc'" notification
> > since html pages are disabled and that's the only thing install-doc
> > deals with.
> well, if people consider that to be optimal then iam happy to apply
> the patch
> coments anyone ?
no comments -> applied
Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB
it is not once nor twice but times without number that the same ideas make
their appearance in the world. -- Aristotle
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 198 bytes
Desc: Digital signature
More information about the ffmpeg-devel