X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fopenvswitch-switch.manpages;h=a310c7ded786336ff79d9a21e02f579501edc5a0;hb=84095d268f41efd2754fb920b9e93b665f7b64ba;hp=399cdda2d709c71d54a489fb98a0433fd00e99af;hpb=fbca1e20e84bc34537f0a3db073195f6783fb373;p=openvswitch

diff --git a/debian/openvswitch-switch.manpages b/debian/openvswitch-switch.manpages
index 399cdda2..a310c7de 100644
--- a/debian/openvswitch-switch.manpages
+++ b/debian/openvswitch-switch.manpages
@@ -1,5 +1,4 @@
 _debian/ovsdb/ovsdb-server.1
-_debian/utilities/ovs-discover.8
 _debian/utilities/ovs-dpctl.8
 _debian/utilities/ovs-pcap.1
 _debian/utilities/ovs-tcpundump.1