nicer headers

This commit is contained in:
Motiejus Jakštys 2021-05-19 22:57:46 +03:00 committed by Motiejus Jakštys
parent 4e3193d5c7
commit d7691a8fb0
2 changed files with 4 additions and 6 deletions

View File

@ -63,9 +63,8 @@ slides-2021-03-29.html: slides-2021-03-29.txt
$(SOURCE): $(SOURCE):
wget http://download.geofabrik.de/europe/$@ wget http://download.geofabrik.de/europe/$@
REF = $(shell git describe --tags --dirty) REF = $(shell git describe --abbrev=12 --always --dirty)
version.tex: $(shell git rev-parse --show-toplevel)/.git version.tex: Makefile $(shell git rev-parse --show-toplevel)/.git
( \ ( \
date '+\gdef\GeneratedAt{%F %T %Z}%'; \ TZ=UTC date '+\gdef\VCDescribe{%F ($(REF))}%'; \
printf '\gdef\VCDescribe{%s}%%\n' $(REF); \
) > $@ ) > $@

View File

@ -44,8 +44,7 @@
\date{ \date{
\vspace{10mm} \vspace{10mm}
Version: \VCDescribe \\ \vspace{4mm} Version: \VCDescribe
Generated At: \GeneratedAt
} }
\begin{document} \begin{document}