From 11fc9b9bca52cbab06a01f69ac14baa5c3393242 Mon Sep 17 00:00:00 2001 From: David Thrane Christiansen Date: Tue, 17 Dec 2024 23:18:56 +0100 Subject: [PATCH] chore: update documentation title and link README to reference (#6409) This PR makes the title of the mdbook documentation page reflect the updated link on lean-lang.org and adds the reference manual to the README. --- README.md | 3 ++- doc/book.toml | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 1d45219186..613b1c5370 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,8 @@ This is the repository for **Lean 4**. - [Homepage](https://lean-lang.org) - [Theorem Proving Tutorial](https://lean-lang.org/theorem_proving_in_lean4/) - [Functional Programming in Lean](https://lean-lang.org/functional_programming_in_lean/) -- [Manual](https://lean-lang.org/lean4/doc/) +- [Documentation Overview](https://lean-lang.org/lean4/doc/) +- [Language Reference](https://lean-lang.org/doc/reference/latest/) - [Release notes](RELEASES.md) starting at v4.0.0-m3 - [Examples](https://lean-lang.org/lean4/doc/examples.html) - [External Contribution Guidelines](CONTRIBUTING.md) diff --git a/doc/book.toml b/doc/book.toml index 8ff0a54334..8b481f25a4 100644 --- a/doc/book.toml +++ b/doc/book.toml @@ -3,7 +3,7 @@ authors = ["Leonardo de Moura", "Sebastian Ullrich"] language = "en" multilingual = false src = "." -title = "Lean Manual" +title = "Lean Documentation Overview" [build] build-dir = "out"