CI: Fix doc location

regislebrun · Oct 7, 2023 · d1129ce · d1129ce
1 parent a4e2515
commit d1129ce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -18,7 +18,7 @@ jobs:
           name: Publish documentation
           command: ./.circleci/upload_github_io.sh
       - store_artifacts:
-          path: ~/.local/share/openturns/doc/html
+          path: ~/.local/share/doc/openturns/html
           destination: html
 
   build_mingw: