[FFmpeg-devel] [PATCH] configure: add --build-date and --build-time options

[Michael Niedermayer]

On Sat, Jan 31, 2015 at 11:18:26PM +0100, Andreas Cadhalpun wrote:
> Hi,
> 
> 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
(make doc/doxy/html)

doxygen  doc/Doxyfile
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
Type: application/pgp-signature
Size: 181 bytes
Desc: Digital signature
URL: <https://ffmpeg.org/pipermail/ffmpeg-devel/attachments/20150201/6a0ca794/attachment.asc>