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 502c65589d55f0c9732ef08929209284d625044b..217fe13b849f6aadb25af1f943dc004822528c05 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -20,7 +20,7 @@ style: light.css sc.css
 plan.plp: TODO
        kramdown $< >$@
 
 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)
        $(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)