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

[Clément Bœsch]

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

> The same can be achieved with --disable-{doctype}.

Some people might want to disable all documentation.

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

-- 
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/20131124/4d0e57af/attachment.asc>