X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fopenvswitch-common.manpages;h=05e93a80dc9d51cff6f6f70ff21fb335e5726c6f;hb=refs%2Fheads%2Fmanual;hp=524324763d74d8db21c37b935c65e53bf60fbc84;hpb=a4af00400a835eb87569ba40e21874c05e872c0f;p=openvswitch

diff --git a/debian/openvswitch-common.manpages b/debian/openvswitch-common.manpages
index 52432476..05e93a80 100644
--- a/debian/openvswitch-common.manpages
+++ b/debian/openvswitch-common.manpages
@@ -1,5 +1,9 @@
 _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-backtrace.8
+utilities/ovs-parse-leaks.8