[emacs] Update proof-site to v4.4-226-g7389d438, tweak defer delays

[~bandali/configs] / Makefile

diff --git a/Makefile b/Makefile
index 3521a23..e694d46 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -6,6 +6,8 @@ bootstrap-borg:
        @cd lib/borg; git symbolic-ref HEAD refs/heads/master
        @cd lib/borg; git reset --hard HEAD
 
+bootstrap: tangle-init
+
 ta: tangle-init all
 
 ti: tangle-init build-init