Merge remote-tracking branch 'origin/master' into develop

circle.yml

@@ -44,8 +44,6 @@ deployment:
       # build docker image and tag the image with the version
       - tests/build_tool.sh
       - docker push quay.io/eris/db
-      # push the updated documentation
-      - docs/build.sh
   release-0.16:
     branch: release-0.16
     commands:
@@ -53,8 +51,6 @@ deployment:
       # build docker image and tag the image with the version
       - tests/build_tool.sh
       - docker push quay.io/eris/db
-      # push the updated documentation
-      - docs/build.sh
   develop:
     branch: develop
     commands:
@@ -71,8 +67,6 @@ deployment:
       # tag to allow for hotfixes
       - tests/build_tool.sh latest
       - docker push quay.io/eris/db
-      # push the updated documentation and replace latest
-      - docs/build.sh latest
   tagged-releases:
     tag: /v[0-9]+(\.[0-9]+)*/
     commands:
@@ -82,8 +76,3 @@ deployment:
       # considered immutable.
       - tests/build_tool.sh
       - docker push quay.io/eris/db
-      # push the updated documentation
-      - docs/build.sh
-
-
-