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

[Sebastian Huber]

On 07/01/2019 14:43, Joel Sherrill wrote:
> We need some indication for automated builds on RTEMS.org that the 
> server actually did build something. The script that builds the docs 
> on the server should create a file and put the build time in it.

Built something is good, but built the right thing is better. I would 
like to replace the date with a Git commit hash.

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