From 18402f44dfbfb0f3ab6f6069e51ac78c7e17707a Mon Sep 17 00:00:00 2001
From: Mischa POSLAWSKY <perl@shiar.org>
Date: Tue, 10 Sep 2024 23:28:35 +0200
Subject: [PATCH] index: build UPDATE after git commits

External timeout is either too long or not long enough; rather depend
directly on source data.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
2.30.2