X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fopenvswitch-common.install;h=1733612aeb7bc34d6f22e0e770cecd4435bf2729;hb=aae369c706cd56886f8560c43960110f79e062dc;hp=fab9916666965e950e840aac07f5ddfdb9a94490;hpb=a0bc29a541fc7dc6e20137d5558e2094d614e6ab;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