[PATCH 1/6] Remove build date from first page
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