From fb4729d60d193133a983c2d51056b23ad5b9fd32 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Johannes=20Sch=C3=B6nberger?= Date: Tue, 27 May 2014 21:45:45 -0400 Subject: [PATCH] Fix gh-pages build script --- doc/gh-pages.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/gh-pages.py b/doc/gh-pages.py index 7bcf802c..80020b66 100755 --- a/doc/gh-pages.py +++ b/doc/gh-pages.py @@ -117,7 +117,7 @@ if __name__ == '__main__': try: cd(pages_dir) status = sh2('git status | head -1') - branch = re.match('\# On branch (.*)$', status).group(1) + branch = re.match('On branch (.*)$', status).group(1) if branch != 'gh-pages': e = 'On %r, git branch is %r, MUST be "gh-pages"' % (pages_dir, branch)