From 252d1b640e454e975d1b28eb937cb01446fd15f0 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mikegerwitz@gnu.org>
Date: Tue, 29 Apr 2014 03:14:46 -0400
Subject: [PATCH] Now generating docs from {origin/=>}master

Want to be able to test before pushing
---
 tools/webdoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/webdoc b/tools/webdoc
index 652253e..4c332f3 100755
--- a/tools/webdoc
+++ b/tools/webdoc
@@ -101,7 +101,7 @@ webify()
 }
 
 # generate the documentation from the master branch
-git checkout "${WEBDOC_BRANCH:-origin/master}" \
+git checkout "${WEBDOC_BRANCH:-master}" \
   && autoreconf -fvi \
   && ./configure \
   && make html html-single \