change deployment branch

CometVisu · Aug 22, 2016 · 451b0f4 · 451b0f4
1 parent 751e992
commit 451b0f4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.doc/deploy.sh b/.doc/deploy.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 set -e # Exit with nonzero exit code if anything fails
 
-SOURCE_BRANCH="user-manual"
+SOURCE_BRANCH="develop"
 TARGET_BRANCH="gh-pages"
 
 function createDocs {