X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ovsdb%2Fovsdb-server.1.in;h=dfe9208d0a7cbee1266347a57e6a256a00d43ad5;hb=eec25dc1ae3ed49ad5e2eda0ca04450c4f75d6f7;hp=9e2d79aaed49c8bc38074a2b14dfee1275063a31;hpb=2970119462bf163a21ed0bc14f0268b0a54df508;p=openvswitch

diff --git a/ovsdb/ovsdb-server.1.in b/ovsdb/ovsdb-server.1.in
index 9e2d79aa..dfe9208d 100644
--- a/ovsdb/ovsdb-server.1.in
+++ b/ovsdb/ovsdb-server.1.in
@@ -123,6 +123,7 @@ This command might be useful for debugging issues with database
 clients.
 .
 .so lib/vlog-unixctl.man
+.so lib/coverage-unixctl.man
 .so lib/stress-unixctl.man
 .SH "SEE ALSO"
 .