diff --git a/.circleci/config.yml b/.circleci/config.yml index 8b014494c8..945db38b54 100755 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -76,6 +76,10 @@ jobs: steps: - checkout - *make_docs + - store_artifacts: + # allows us to preview the generated html pages + path: docs/build/html/ + destination: html Formatting: docker: diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md index c7df9af637..fbde00f6fa 100644 --- a/.github/CONTRIBUTING.md +++ b/.github/CONTRIBUTING.md @@ -120,6 +120,8 @@ make html ``` and open `docs/build/html/index.html` in your browser. +When you send a PR the continuous integration will run tests and build the docs. You can access a preview of the html pages in the +_Artifacts_ tab in CircleCI when you click on the task named _ci/circleci: Build-Docs_ at the bottom of the PR page. ### Testing