[PATCH 1/6] Remove build date from first page
sebastian.huber at embedded-brains.de
Tue Jan 8 06:19:06 UTC 2019
On 08/01/2019 02:59, Chris Johns wrote:
> On 7/1/19 11:30 pm, Sebastian Huber wrote:
>> On 07/01/2019 12:49, Sebastian Huber wrote:
>>> On 07/01/2019 12:39, Chris Johns wrote:
>>>>> 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.
>>> Adding the Git commit to the documents would be more useful. The build date is
>>> completely arbitrary.
>> What do you think about replacing the date with a Git commit hash? I can try to
>> do this.
> For branch builds this is OK and I am happy to see it added and for releases we
> also need to have the release details.
> Technically a hash is all that is needed so it is correct if you need to
> determined the exact source used but is this what people expect with
> documentation, ie is a date expected?
> The catalog holds the build date which is shown if you point a browser at the
> documentation. Our online page has this.
> If the users and community are OK with no date in the documentation then I am
> OK. I am still not sure how repeatable builds of docs can be made because of the
> dependence on so many other parts that can vary. I also do not know how you
> perform the comparison on a PDF.
What about the Git commit hash and the check in date of the commit?
Sebastian Huber, embedded brains GmbH
Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone : +49 89 189 47 41-16
Fax : +49 89 189 47 41-09
E-Mail : sebastian.huber at embedded-brains.de
PGP : Public key available on request.
Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.
More information about the devel