> On 7 Jan 2019, at 10:03 pm, Sebastian Huber > <[email protected]> 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 _______________________________________________ devel mailing list [email protected] http://lists.rtems.org/mailman/listinfo/devel
