[PATCH 1/6] Remove build date from first page

Chris Johns chrisj at rtems.org
Mon Jan 7 11:39:15 UTC 2019

> On 7 Jan 2019, at 10:03 pm, Sebastian Huber <sebastian.huber at embedded-brains.de> wrote:
> The usage of a build date prevents reproducible builds.


I prefer a build date being present. For unreleased it marks the online builds and for releases it tags the day built. 

I have never seen this being a requirement for docs output. What drives the need for this?


More information about the devel mailing list