1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 92b337f6..b3439963 100644
--- a/.gitignore
+++ b/.gitignore
@@ -26,6 +26,7 @@
 /doc/*.texi
 /doc/*.txt
 /doc/Makefile
+/doc/inslist.src
 /doc/html
 /doc/info
 /insnsa.c
@@ -40,6 +41,7 @@
 /ndisasm.man
 /pptok.c
 /pptok.h
+/pptok.ph
 /rdoff/Makefile
 /rdoff/ldrdf
 /rdoff/rdf2bin