X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fopenvswitch-switch.manpages;h=a310c7ded786336ff79d9a21e02f579501edc5a0;hb=169390eed03f9854441ca76dc74fd906f614b761;hp=267b15290bbf71dfb843956f2393795eb73af89c;hpb=f0d3bc86154e697f4dc03667950319db66517522;p=openvswitch

diff --git a/debian/openvswitch-switch.manpages b/debian/openvswitch-switch.manpages
index 267b1529..a310c7de 100644
--- a/debian/openvswitch-switch.manpages
+++ b/debian/openvswitch-switch.manpages
@@ -1,7 +1,5 @@
 _debian/ovsdb/ovsdb-server.1
-_debian/utilities/ovs-discover.8
 _debian/utilities/ovs-dpctl.8
-_debian/utilities/ovs-kill.8
 _debian/utilities/ovs-pcap.1
 _debian/utilities/ovs-tcpundump.1
 _debian/utilities/ovs-vlan-test.8