[FFmpeg-devel] [PATCH 0/3] Some changes and fixes for the documentation build system

Stefano Sabatini stefasab at gmail.com
Wed Jul 11 14:22:54 CEST 2012


On date Wednesday 2012-07-11 08:20:26 +0200, Reimar Döffinger encoded:
> On 11 Jul 2012, at 04:24, jamal <jamrial at gmail.com> wrote:
> > Among other things this covers Carl Eugen Hoyos' ticket #1515 on Trac regarding texi2html.
> > The first patch makes the configure script check for pod2man instead of texi2html when choosing if it should disable or enable CONFIG_DOC.
> > Since make install only cares about man pages, the availability of texi2html should not decide if the documentation is built or not.
> 
> To be honest I rather dislike this automatic doc enabling anyway.

> On my systems there is e.g. a texi2hml but it does not actually work because it misses some data files or such.

What about fixing it / removing it?

Anyway one of the purposes of the patch is to disable the build of
components which can't be built because of missing dependencies, so it
may work for your specific case.

> Thus I have to disable docs to be able to build at all.

--disable-doc

Most people which build ffmpeg periodically will have a script with
all the configure options (I'm used to have a custom configure.my for
all configure/make projects in src).

> But even when it works, I think the docs building just wastes time
> for most people building themselves (seriously, how many people
> actually care about reading anything but the man page locally? I at
> least sometimes even read man pages online instead...)

I diagree on this. To launch "make" means just "build all that there is to
build" and not "build all that some developers think it is useful for
you", documentation is part of the build, and thus should be built by
default.
-- 
FFmpeg = Freak and Faithful Magic Problematic Exploitable Governor


More information about the ffmpeg-devel mailing list