diff --git a/lispintro/.gitignore b/lispintro/.gitignore
index 01b52c7053c..a1eb5b6aa8f 100644
--- a/lispintro/.gitignore
+++ b/lispintro/.gitignore
@@ -16,4 +16,5 @@
 *.tp
 *.tps
 *.tmp
+*.txt
 Makefile