diff --git a/.gitignore b/.gitignore
index 7c23483281..09700a2fdc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,3 +24,4 @@ settings.json
 /library/init/version.lean
 CMakeSettings.json
 CppProperties.json
+/library/Makefile