Build doc for Aesop and ProofWidgets (#2)

.github/workflows/docs.yaml

@@ -70,7 +70,7 @@ jobs:
       - name: generate docs
         working-directory: workaround
         run: |
-          lake build Std:docs Qq:docs Mathlib:docs Archive:docs Counterexamples:docs docs:docs
+          lake build Std:docs Qq:docs Aesop:docs ProofWidgets:docs Mathlib:docs Archive:docs Counterexamples:docs docs:docs
 
       - name: copy extra files
         run: |