Skip to main content

generated_dir

lean_ctx::core::reference_docs

Function generated_dir 

Source 
pub fn generated_dir() -> PathBuf
Expand description

Directory the generated reference docs live in (docs/reference/generated).