#!/bin/bash

# Make a new repo for the gh-pages branch
rm -rf .gh-pages
mkdir .gh-pages
cd .gh-pages
git init

# Copy over the documentation
cp -r ../target/doc/* .
cat <<EOF > index.html
<!doctype html>
<title>leveldb</title>
<meta http-equiv="refresh" content="0; ./leveldb/">
EOF

# Add, commit and push files
git add -f --all .
git commit -m "Built documentation"
git checkout -b gh-pages
git remote add origin git@github.com:skade/leveldb.git
git push -qf origin gh-pages

# Cleanup
cd ..
rm -rf .gh-pages

Add a script to publish to gh-pages
Add a script to publish to gh-pages

Thanks @mitsuhiko
