From b6b083e33c5ae76551db09424bb84e96c4df26f7 Mon Sep 17 00:00:00 2001 From: ccd0 Date: Tue, 17 May 2016 15:25:13 -0700 Subject: [PATCH] Have make web update the git config files also. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 83319156c..952ffefc1 100644 --- a/Makefile +++ b/Makefile @@ -340,7 +340,7 @@ stable : distready web : index.html distready -git commit -am "Build web page." cd dist && git merge --no-commit -s ours master - cd dist && git checkout master README.md index.html web.css img + cd dist && git checkout master README.md index.html web.css img .gitignore .gitattributes cd dist && git commit -am "Update web page." update :