Explicitly set the revision date in the documentation
authorVincent Danjean <Vincent.Danjean@ens-lyon.org>
Tue, 9 Jun 2015 09:46:53 +0000 (11:46 +0200)
committerVincent Danjean <Vincent.Danjean@ens-lyon.org>
Tue, 9 Jun 2015 09:46:53 +0000 (11:46 +0200)
commitd8fc5880eac885c2255531ef6178bb3ebeeab0e7
treebefece137b855db4e3e74b2e42281c6552e0cfc7
parentebbc4c128ee49b36769c3289222e2a2ac2cbb8ca
Explicitly set the revision date in the documentation

This allows to always produce the same doc, whatever localtime is.
Note that the 'footer-style' attribute (used when creating the HTML page)
is a patch of asciidoc available in Debian but not merged upstream yet.
doc/libOpenCL.7.txt