restore full build

leanprover-community · Aug 9, 2023 · e826b03 · e826b03
1 parent 1394b13
commit e826b03
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -70,8 +70,7 @@ jobs:
       - name: generate docs
         working-directory: workaround
         run: |
-          mkdir -p build/doc
-          # lake build Std:docs Qq:docs Mathlib:docs Archive:docs Counterexamples:docs docs:docs
+          lake build Std:docs Qq:docs Mathlib:docs Archive:docs Counterexamples:docs docs:docs
 
       - name: copy extra files
         run: |