From f3406bc355760122dfd374a03caf87b50b3d6ac7 Mon Sep 17 00:00:00 2001 From: Pieter Holtzhausen Date: Mon, 4 Jul 2011 22:23:12 +0200 Subject: [PATCH] Push script excludes all git* fix --- doc/push_github | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/push_github b/doc/push_github index e8348c7a..3753263c 100755 --- a/doc/push_github +++ b/doc/push_github @@ -42,7 +42,7 @@ sed -i 's/_static/static/g' `find . -name "*.html"` sed -i 's/_images/images/g' `find . -name "*.html"` mv _static static mv _images images -for f in `find . | grep "./" | grep -v ".git"`; do +for f in `find . | grep "./" | grep -v "\.git"`; do git add $f done