X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fopenvswitch-common.manpages;h=1e99479cefb17b8f26c4ebf4339d21bfc90dcfd8;hb=626186c3bea6b07442632684eacf4d02545fa05f;hp=524324763d74d8db21c37b935c65e53bf60fbc84;hpb=c69ee87c10818267f991236201150b1fa51ae519;p=openvswitch

diff --git a/debian/openvswitch-common.manpages b/debian/openvswitch-common.manpages
index 52432476..1e99479c 100644
--- a/debian/openvswitch-common.manpages
+++ b/debian/openvswitch-common.manpages
@@ -1,5 +1,8 @@
 _debian/ovsdb/ovsdb-client.1
 _debian/ovsdb/ovsdb-tool.1
 _debian/utilities/ovs-appctl.8
+_debian/utilities/ovs-benchmark.1
 _debian/utilities/ovs-ofctl.8
 _debian/utilities/ovs-pki.8
+utilities/bugtool/ovs-bugtool.8
+utilities/ovs-parse-leaks.8