diff --git a/tools/publishdocs.sh b/tools/publishdocs.sh index 4d0abc00e8..96879168b8 100755 --- a/tools/publishdocs.sh +++ b/tools/publishdocs.sh @@ -70,9 +70,10 @@ if [ "$PUBLISH" = "publish" ] ; then fi # For publishing to both /draft and /BRANCH -#if [ "$PUBLISH" = "publish" ] ; then -# # For publishing to both /draft and /BRANCH -# copy_to_branch mitaka +if [ "$PUBLISH" = "publish" ] ; then + # For publishing to both /draft and /BRANCH + copy_to_branch newton +fi if [ "$PUBLISH" = "build" ] ; then # Create index page for viewing