[FFmpeg-devel] [PATCH] configure: Remove doc option remnants
lukasz.m.luki at gmail.com
Sun Nov 24 14:33:15 CET 2013
On 24 November 2013 10:18, Clément Bœsch <u at pkh.me> wrote:
> On Sun, Nov 24, 2013 at 05:59:55AM -0300, James Almer wrote:
> > On 24/11/13 5:34 AM, Clément Bœsch wrote:
> > > On Sun, Nov 24, 2013 at 01:44:17AM -0300, James Almer wrote:
> > >> The doc config option was removed in
> > >
> > > Wait. What?
> > >
> > > Please fix this instead...
> > Is it really worth keeping, though?
> Yes because it breaks scripts (and it will probably break the coverage
> instance for which I disabled it)
> > --disable-doc was only used to avoid building
> > documentation when calling "make all".
> Yes, some people don't want to build the doc when running "make" because
> it slows down thing (or various other reasons).
I usually disable doc to build faster. On other hand it builds only once.
TBH I don't understand why to remove it anyway.
More information about the ffmpeg-devel