diff --git a/.gitignore b/.gitignore index 39f10adf822cf7605a4a9d35d20830acbd81519c..f0926971ebc9f9430f153974d81f58a65b03d8f0 100644 --- a/.gitignore +++ b/.gitignore @@ -16,6 +16,8 @@ doc/openocd.fn doc/openocd.fns doc/openocd.html doc/openocd.info +doc/openocd.info-1 +doc/openocd.info-2 doc/openocd.ky doc/openocd.log doc/openocd.pdf