MAINT push the doc (#629)

Author: glemaitre

.circleci/config.yml

@@ -27,11 +27,11 @@ jobs:
       - attach_workspace:
           at: doc/_build/html
       - run: ls -ltrh doc/_build/html
-      # - deploy:
-      #     command: |
-      #       if [[ "${CIRCLE_BRANCH}" =~ ^master$|^[0-9]+\.[0-9]+\.X$ ]]; then
-      #         bash ./build_tools/circle/push_doc.sh doc/_build/html
-      #       fi
+      - deploy:
+          command: |
+            if [[ "${CIRCLE_BRANCH}" =~ ^master$|^[0-9]+\.[0-9]+\.X$ ]]; then
+              bash ./build_tools/circle/push_doc.sh doc/_build/html
+            fi
     filters:
       branches:
         ignore: gh-pages