From 48937fe85da16164587cc7f25978e28645824019 Mon Sep 17 00:00:00 2001
From: Stefan van der Walt <stefan@sun.ac.za>
Date: Wed, 14 Oct 2009 08:58:10 +0200
Subject: [PATCH] When pushing docs to github, rename _images to images.

---
 doc/push_github | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/doc/push_github b/doc/push_github
index 1be77529..e6cfb92f 100755
--- a/doc/push_github
+++ b/doc/push_github
@@ -4,6 +4,7 @@ if ! [[ -d ../.git ]]; then
   exit
 fi
 
+# Get current branch
 ref=$(git symbolic-ref HEAD 2> /dev/null)
 branch=${ref#refs/heads/}
 wd=`pwd`
@@ -16,8 +17,12 @@ cd ..
 git co gh-pages || exit
 rm -rf ./*
 cp -r /tmp/scikits.image.docs/* .
+
+# github doesn't like directories starting with "_"
 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
    git add $f
 done