X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=851c391bc1eee0377f4b56f3a9d7042e8ebafbf3;hb=c2310ade7b550da9033963103ff1e318f34e1556;hp=cd0ba81c0dfea4361559859fdb44d2423943ad07;hpb=815bba308c075c0caa23972f4f50baea334e0199;p=openvswitch

diff --git a/.gitignore b/.gitignore
index cd0ba81c..851c391b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -38,6 +38,7 @@
 /depcomp
 /distfiles
 /install-sh
+/manpage-check
 /missing
 /missing-distfiles
 /package.m4