From 5b1ac27c54b280bda065f7741953e829b0f03305 Mon Sep 17 00:00:00 2001 From: Joan Massich Date: Mon, 19 Nov 2018 19:10:45 +0100 Subject: [PATCH] [RELEASE] bump 0.17.dev0 to 0.17 (#5723) - Archive 0.16 and add 0.17 to navigation bar - update __init__ and circle.yml It requires to manually update mne-tools.github.io (see https://github.com/mne-tools/mne-tools.github.io/pull/13) --- .circleci/config.yml | 4 ++-- doc/_templates/navbar.html | 3 ++- mne/__init__.py | 2 +- 3 files changed, 5 insertions(+), 4 deletions(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index b17115ac350..ff163e325b1 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -87,7 +87,7 @@ jobs: touch pattern.txt; if [ "$CIRCLE_BRANCH" == "master" ] || [[ $(cat gitlog.txt) == *"[circle full]"* ]]; then echo html_dev > build.txt; - elif [ "$CIRCLE_BRANCH" == "maint/0.16" ]; then + elif [ "$CIRCLE_BRANCH" == "maint/0.17" ]; then echo html_stable > build.txt; else FNAMES=$(git diff --name-only $CIRCLE_BRANCH $(git merge-base $CIRCLE_BRANCH upstream/master)); @@ -253,7 +253,7 @@ jobs: pushd ~/mne-tools.github.io && git checkout master && git pull origin master && popd; pushd doc/_build && rm -Rf ~/mne-tools.github.io/dev && cp -a html ~/mne-tools.github.io/dev && popd; pushd ~/mne-tools.github.io && git add -A && git commit -m "CircleCI update of dev docs (${CIRCLE_BUILD_NUM})." && git push origin master && popd; - elif [ "${CIRCLE_BRANCH}" == "maint/0.16" ]; then + elif [ "${CIRCLE_BRANCH}" == "maint/0.17" ]; then echo "Deploying stable docs."; git config --global user.email "circle@mne.com"; git config --global user.name "Circle Ci"; diff --git a/doc/_templates/navbar.html b/doc/_templates/navbar.html index 0da965a88d1..20a2c089760 100644 --- a/doc/_templates/navbar.html +++ b/doc/_templates/navbar.html @@ -8,7 +8,8 @@