Use the stable-website branch for documentation pushes, to allow us to update the documentation async from releases.

This commit is contained in:
Jeff Mitchell 2015-09-21 16:20:36 -04:00
parent fa53293b7b
commit 03aeb356ed

View File

@ -1,5 +1,8 @@
#!/bin/bash
# Switch to the stable-website branch
git checkout stable-website
# Set the tmpdir
if [ -z "$TMPDIR" ]; then
TMPDIR="/tmp"