diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 6a38db8f212..26f621fb393 100644
--- 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: |