Closed Seasawher closed 4 months ago
Fixes a problem with lake run build not working on macOS and Unix.
lake run build
see https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/mdbook.20setup.20template.20for.20Lean.20project
Fixes a problem with
lake run buildnot working on macOS and Unix.see https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/mdbook.20setup.20template.20for.20Lean.20project