X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fautomake.mk;h=e5dbfba89e98f91fa93e7c30639315c59c05a257;hb=057fed2b5cfe81bf3ab328a9514a1caf0dfa4f55;hp=b0d10fded87bd8d398672414721536d80111fb78;hpb=1d87357a1322c2faa290452c08c7f794c0be848b;p=openvswitch

diff --git a/lib/automake.mk b/lib/automake.mk
index b0d10fde..e5dbfba8 100644
--- a/lib/automake.mk
+++ b/lib/automake.mk
@@ -155,6 +155,7 @@ EXTRA_DIST += \
 	lib/daemon.man \
 	lib/dpif.man \
 	lib/leak-checker.man \
+	lib/vlog-unixctl.man \
 	lib/vlog.man