From d59a2386969414058ed7aa2e2d9b37dd65b6339f Mon Sep 17 00:00:00 2001
From: Nicolas Hug <nicolashug@fb.com>
Date: Fri, 26 Feb 2021 12:15:39 +0000
Subject: [PATCH] tell CircleCI to publish artifacts

---
 .circleci/config.yml    | 3 +++
 .circleci/config.yml.in | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index a6f00b6715..3bf72c3a6d 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -574,6 +574,9 @@ jobs:
           root: ./
           paths:
             - "*"
+      - store_artifacts:
+          path: ./docs/build/html
+          destination: docs
 
   upload_docs:
     <<: *binary_common
diff --git a/.circleci/config.yml.in b/.circleci/config.yml.in
index d5734c6d65..8e01b1da56 100644
--- a/.circleci/config.yml.in
+++ b/.circleci/config.yml.in
@@ -574,6 +574,9 @@ jobs:
           root: ./
           paths:
             - "*"
+      - store_artifacts:
+          path: ./docs/build/html
+          destination: docs
 
   upload_docs:
     <<: *binary_common