[FFmpeg-devel] [PATCH 0/3] Some changes and fixes for the documentation build system
michaelni at gmx.at
Wed Jul 11 14:08:17 CEST 2012
On Wed, Jul 11, 2012 at 08:20:26AM +0200, Reimar Döffinger wrote:
> 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.
I have no oppinion on this
if people want it disabled by default, fine with me, if they want it
enabled, fine too
whats the oppinon of the other developers ?
> On my systems there is e.g. a texi2hml but it does not actually work because it misses some data files or such.
> Thus I have to disable docs to be able to build at all.
this sounds like a quite specific misconfiguration on your side.
maybe you want to improve the text2html check in configure to work
better in that case.
> 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...)
building docs with make -j4 takes 1.6 seconds here
one disadvantage of disabling it by default is that it would reduce
testing of the doc building significantly as most users probably
wont override the default
Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB
The greatest way to live with honor in this world is to be what we pretend
to be. -- Socrates
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 198 bytes
Desc: Digital signature
More information about the ffmpeg-devel