[FFmpeg-devel] [PATCH] configure: add --build-date and --build-time options
michaelni at gmx.at
Sun Feb 1 16:44:26 CET 2015
On Sat, Jan 31, 2015 at 11:18:26PM +0100, Andreas Cadhalpun wrote:
> On 31.01.2015 22:36, Michael Niedermayer wrote:
> >On Sun, Jan 25, 2015 at 09:25:07PM +0100, Andreas Cadhalpun wrote:
> >>diff --git a/doc/Doxyfile b/doc/Doxyfile
> >>index 8697e6c..5d18b10 100644
> >>--- a/doc/Doxyfile
> >>+++ b/doc/Doxyfile
> >>@@ -839,7 +839,7 @@ HTML_COLORSTYLE_GAMMA = 80
> >> # page will contain the date and time when the page was generated. Setting
> >> # this to NO can help when comparing the output of multiple runs.
> >>-HTML_TIMESTAMP = YES
> >>+HTML_TIMESTAMP = NO
> >is there some other means to identify outdated doxygen ?
> >like a git revission ?
> One can include the git revision in the PROJECT_NUMBER, e.g. with
> attached patch.
this works for generating the doxy for the headers only
would lack the revission
Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB
Freedom in capitalist society always remains about the same as it was in
ancient Greek republics: Freedom for slave owners. -- Vladimir Lenin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 181 bytes
Desc: Digital signature
More information about the ffmpeg-devel