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

Reimar Döffinger Reimar.Doeffinger at gmx.de
Wed Jul 11 22:29:42 CEST 2012


On Wed, Jul 11, 2012 at 02:22:54PM +0200, Stefano Sabatini wrote:
> On date Wednesday 2012-07-11 08:20:26 +0200, Reimar Döffinger encoded:
> > 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.

I don't mind that much (my main complaint is that I find it quite bad
that building can be broken just because some tex stuff doesn't work and
that a reliable test seems more effort that worth).
However I think quite a few projects do not build documentation when just
running "make", and we certainly do not try to build everything (e.g. no
doxygen - would we want that to created by default? It's going to take
more than 1.6s to build...).


More information about the ffmpeg-devel mailing list