chore: also copy 1000.yaml

Pre-requisite for leanprover-community.github.io#/558.
leanprover-community · Dec 18, 2024 · 0760d61 · 0760d61
1 parent d65d834
commit 0760d61
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -96,7 +96,7 @@ jobs:
 
       - name: copy extra files
         run: |
-          cp mathlib4/docs/{100.yaml,overview.yaml,undergrad.yaml} workaround/.lake/build/doc
+          cp mathlib4/docs/{100.yaml,1000.yaml,overview.yaml,undergrad.yaml} workaround/.lake/build/doc
 
       - name: copy import graph
         run: |