Using Verso

Stream: new members

[Dominic Steinitz]

I am following the instructions here: https://github.com/leanprover/verso?tab=readme-ov-file#rendering-lean-code

and have

require verso from git "https://github.com/leanprover/verso.git"@"v4.24.0-rc1"

in my makefile.lean

But when I try

lake build Mathlib:literate

then I get

error: unknown lean_lib facet literate