X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fautomake.mk;h=e5dbfba89e98f91fa93e7c30639315c59c05a257;hb=3b135da329687c69d3a0f1689621f75cc4888d6f;hp=b0d10fded87bd8d398672414721536d80111fb78;hpb=5146acb1408da035504163af23b2a554ff479800;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