diff --git a/.gitignore b/.gitignore
index 21bcd46..53ec3bb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,4 @@
 .*
 !.gitignore
-
-*.olean
-/build
-/lake-packages
+*.[io]lean
+/result
diff --git a/README.md b/README.md
index 5fec564..47456ea 100644
--- a/README.md
+++ b/README.md
@@ -75,7 +75,7 @@ the environment might be setup like this:
 
 ``` sh
 LIB="../lib"
-LIB_MATHLIB="$LIB/mathlib4/lake-packages"
+LIB_MATHLIB="$LIB/mathlib4/.lake"
 export LEAN_PATH="$LIB/mathlib4/build/lib:$LIB_MATHLIB/aesop/build/lib:$LIB_MATHLIB/Qq/build/lib:$LIB_MATHLIB/std/build/lib"
 
 LEAN_PATH=$LEAN_PATH build/bin/pantograph $@