chore: remove docgen from the manifest

leanprover-community / batteries

The "batteries included" extended library for the Lean programming language and theorem prover

Apache License 2.0

242 stars 101 forks source link

chore: remove docgen from the manifest #846

Closed kim-em closed 4 months ago

kim-em commented 4 months ago

If you, or a script, want to run docgen on Batteries, please do so in privacy, without putting all these fake dependencies into the lake-manifest.json!