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

Michael Niedermayer 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
Type: application/pgp-signature
Size: 198 bytes
Desc: Digital signature
URL: <http://ffmpeg.org/pipermail/ffmpeg-devel/attachments/20120711/4ff39140/attachment.asc>


More information about the ffmpeg-devel mailing list