Fix doc folder

Signed-off-by: zeramorphic <[email protected]>
leanprover-community · Nov 28, 2023 · 688a8ab · 688a8ab
1 parent 42016b5
commit 688a8ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push_main.yml b/.github/workflows/push_main.yml
@@ -43,7 +43,7 @@ jobs:
         run: ~/.elan/bin/lake -Kenv=dev build ConNF:docs
 
       - name: copy documentation
-        run: cp -R build/doc docs/
+        run: cp -R .lake/build/doc docs/
 
       - name: remove .gitignore for gh-pages
         run: rm docs/.gitignore