Update .gitignore to include additional generated files
commitd3fcbf051d8b23b5627ee1c22d0bb4dc9eee565a
authorH. Peter Anvin <hpa@zytor.com>
Mon, 20 Oct 2008 05:25:11 +0000 (19 22:25 -0700)
committerH. Peter Anvin <hpa@zytor.com>
Mon, 20 Oct 2008 05:25:11 +0000 (19 22:25 -0700)
tree08615aedefdca4350a31278af38b019dec5fb0ad
parent8b5e68079a52d5c68a05be825ef10e5ce2f3d36b
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