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

[James Almer]

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? --disable-doc was only used to avoid building 
documentation when calling "make all". The same can be achieved with --disable-{doctype}.
"make doc", "make install-doc" and such simply check the dependencies for each type of 
documentation before running, and were not affected by --disable-doc.

I'd like to hear some other opinions. Otherwise I'll send a patch to undo the changes 
from f187557a later today.

Regards.