Support updating mantle-lib with script/update

pjeby · pjeby · commit faca587f465b · 2019-11-10T11:23:00.000-05:00
diff --git a/.dkrc b/.dkrc
@@ -14,3 +14,5 @@ dk use: shell-console     # make the "console" command enter a subshell
 	github dirtsimple/mantle-lib master
 
 dk use: mantle
+
+on update git -C .deps/dirtsimple/mantle-lib pull
