X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=702cc6ca190d0c42b9ba4ad7623485dd47fff8c2;hb=refs%2Fheads%2Fmanual;hp=cd0ba81c0dfea4361559859fdb44d2423943ad07;hpb=815bba308c075c0caa23972f4f50baea334e0199;p=openvswitch

diff --git a/.gitignore b/.gitignore
index cd0ba81c..702cc6ca 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,9 +11,11 @@
 *.pyc
 *.so
 *~
+*,cover
 .#*
 .*.cmd
 .*.swp
+.coverage
 .deps
 .dirstamp
 .libs
@@ -38,6 +40,7 @@
 /depcomp
 /distfiles
 /install-sh
+/manpage-check
 /missing
 /missing-distfiles
 /package.m4