From 162b80d02ad22e025426786d82d02afc3e1e80ec Mon Sep 17 00:00:00 2001 From: Waldir Pimenta Date: Sat, 10 Apr 2021 16:54:13 +0100 Subject: [PATCH] README: clarify line about .olean files --- readme.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/readme.md b/readme.md index bdbc977..31e6f25 100644 --- a/readme.md +++ b/readme.md @@ -15,7 +15,8 @@ rm -rf _target leanproject up ``` -Make sure that olean files are generated for mathlib in `_target`, otherwise this will be extremely slow. +Make sure that [`.olean` files](https://github.com/leanprover/tutorial/blob/master/05_Interacting_with_Lean.org#projects) +are generated for mathlib in `_target`, otherwise this will be extremely slow. ## Usage