Merge pull request #8 from leanprover-community/revert-6-patch-3

Revert "chore: also build docs for cache, cli, importgraph and plausible"

Author: bryangingechen

.github/workflows/docs.yaml

@@ -91,7 +91,7 @@ jobs:
       - name: generate docs
         working-directory: workaround
         run: |
-          lake build Batteries:docs Qq:docs Aesop:docs Cache:docs Cli:docs ImportGraph:docs Plausible:docs ProofWidgets:docs Mathlib:docs Archive:docs Counterexamples:docs docs:docs
+          lake build Batteries:docs Qq:docs Aesop:docs ProofWidgets:docs Mathlib:docs Archive:docs Counterexamples:docs docs:docs
           lake build Mathlib:docsHeader
 
       - name: copy extra files