doc-gen for `Cache`

Stream: mathlib4

[Michael Rothgang]

Right now, the mathlib documentation doesn't contain documentation for e.g. Cache (or shake, for that matter). Would this be difficult to add? For reviewing the current cache refactorings, that could be useful :-)

[Henrik Böving]

You need to modify this line https://github.com/leanprover-community/mathlib4_docs/blob/main/.github/workflows/docs.yaml#L94

[Michael Rothgang]

Ah, so just a one-line PR?

[Michael Rothgang]

Created https://github.com/leanprover-community/mathlib4_docs/pull/6. I've added all of importgraph, cache, cli and plausible - and am open to discussing if some of these should be omitted.