X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ovsdb%2Fautomake.mk;h=39bc65fcf0b5d80d50a455aa95f6cd1b673e642d;hb=9b46cccc33bedc8b4d538b159804b5b45b8b0ea7;hp=1f53d201aebd205ba1e1aec507d3a0ba54789731;hpb=c5c7c7c5c0d379c49121d63b77067aa32bce22b7;p=openvswitch

diff --git a/ovsdb/automake.mk b/ovsdb/automake.mk
index 1f53d201..39bc65fc 100644
--- a/ovsdb/automake.mk
+++ b/ovsdb/automake.mk
@@ -21,13 +21,15 @@ ovsdb_libovsdb_a_SOURCES = \
 	ovsdb/query.h \
 	ovsdb/row.c \
 	ovsdb/row.h \
+	ovsdb/server.c \
+	ovsdb/server.h \
 	ovsdb/table.c \
 	ovsdb/table.h \
 	ovsdb/trigger.c \
 	ovsdb/trigger.h \
 	ovsdb/transaction.c \
 	ovsdb/transaction.h
-EXTRA_DIST += \
+MAN_FRAGMENTS += \
 	ovsdb/remote-active.man \
 	ovsdb/remote-passive.man