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
signature.asc
Description: Digital signature
_______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
