X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ovsdb%2Fovsdb-server.1.in;h=4236f8ff279ec9ca15d06488ae9e22e5ccc51467;hb=149ff68ac91fe4b398a691a92c07b7ba315f5275;hp=dfe9208d0a7cbee1266347a57e6a256a00d43ad5;hpb=31a1e58ec7236b915cd9b49d9e927ad90b5ae285;p=openvswitch

diff --git a/ovsdb/ovsdb-server.1.in b/ovsdb/ovsdb-server.1.in
index dfe9208d..4236f8ff 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/memory-unixctl.man
 .so lib/coverage-unixctl.man
 .so lib/stress-unixctl.man
 .SH "SEE ALSO"