[FFmpeg-devel] [PATCH] configure: Remove doc option remnants

[Lukasz M]

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
> f187557ab4612776f7f527ecf3d40062975c3e4c
> > >
> > > 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.