X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fopenvswitch-common.install;h=1733612aeb7bc34d6f22e0e770cecd4435bf2729;hb=032aa6a3543621213f133aff3e31021dfd4bef43;hp=fab9916666965e950e840aac07f5ddfdb9a94490;hpb=f78b38e9011df32e9e5931a02ade5c5f2106e10d;p=openvswitch

diff --git a/debian/openvswitch-common.install b/debian/openvswitch-common.install
index fab99166..1733612a 100644
--- a/debian/openvswitch-common.install
+++ b/debian/openvswitch-common.install
@@ -4,4 +4,6 @@ _debian/utilities/ovs-appctl usr/sbin
 _debian/utilities/ovs-ofctl usr/sbin
 _debian/utilities/ovs-parse-leaks usr/bin
 _debian/utilities/ovs-pki usr/sbin
+debian/ovs-bugtool usr/sbin
+debian/ovs-bugtool.8 usr/share/man/man8
 vswitchd/vswitch.ovsschema usr/share/openvswitch