Have make web update the git config files also.

2016-05-17 15:25:13 -07:00 · 2016-05-17 15:25:13 -07:00 · b6b083e33c
commit b6b083e33c
parent 29e746c1e2
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -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 :