X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fopenvswitch-switch.manpages;h=a310c7ded786336ff79d9a21e02f579501edc5a0;hb=5160ab34f8e97de8985d75d77c029324e4bccdab;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