nicer headers

This commit is contained in:
Motiejus Jakštys 2021-03-30 17:45:06 +03:00
parent 854b1a05e8
commit 1344683602
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}