From: Mischa POSLAWSKY Date: Tue, 10 Sep 2024 21:28:35 +0000 (+0200) Subject: index: build UPDATE after git commits X-Git-Url: http://git.shiar.nl/sheet.git/commitdiff_plain/18402f44dfbfb0f3ab6f6069e51ac78c7e17707a?ds=sidebyside index: build UPDATE after git commits External timeout is either too long or not long enough; rather depend directly on source data. --- diff --git a/Makefile b/Makefile index 502c655..217fe13 100644 --- a/Makefile +++ b/Makefile @@ -20,7 +20,7 @@ style: light.css sc.css plan.plp: TODO kramdown $< >$@ -UPDATE: $(download) +UPDATE: .git $(call cmdsave,git log -1 --date=short --pretty='%ad %s') cache: $(patsubst %.inc.pl,data/%.json,$(wildcard charset-*.inc.pl) $(wildcard keyboard/altgr/*.inc.pl) writing-latn.inc.pl)