From de4a853ecfe6a50067b29d89b5d7421296591eee Mon Sep 17 00:00:00 2001 From: Pieter Holtzhausen Date: Mon, 4 Jul 2011 22:13:18 +0200 Subject: [PATCH] push script fix --- doc/push_github | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/push_github b/doc/push_github index 77c1c019..e8348c7a 100755 --- a/doc/push_github +++ b/doc/push_github @@ -57,7 +57,7 @@ read git commit -m "Update docs." git push origin gh-pages -git co $branch +git checkout $branch for f in $ignore_files; do cp /tmp/_scikits_image_backup/`basename $f` $f