[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.

-1

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?

Chris


More information about the devel mailing list