diff --git a/.gitignore b/.gitignore
index 57ff7f85b..3444fdbe7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
 *~
 .lean_trace
 *.produced.out
+*.md.lua
 a.out
 build
 GPATH