From d3fcbf051d8b23b5627ee1c22d0bb4dc9eee565a Mon Sep 17 00:00:00 2001
From: "H. Peter Anvin" <hpa@zytor.com>
Date: Sun, 19 Oct 2008 22:25:11 -0700
Subject: [PATCH] Update .gitignore to include additional generated files

pptok.ph and doc/inslist.src are generated files; list them in
.gitignore.

Signed-off-by: H. Peter Anvin <hpa@zytor.com>
---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
2.11.4.GIT