diff --git a/.gitignore b/.gitignore
index dc632c7390..5dfbf57321 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,3 +18,4 @@ settings.json
 .gdb_history
 .vscode
 /*.nix
+/library/init/version.lean