X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=f0e757118e5bfd58bc4adac1d0e5a010ef6b5df1;hb=c15f1d11fa95a036eaa2504527bbd5decf082db6;hp=deae5127d747f5f1dffa17a379692eaac8b1bcb9;hpb=db5ce51427906ed54aa3e8e1dffc0ba6d908aa8c;p=openvswitch

diff --git a/Makefile.am b/Makefile.am
index deae5127..f0e75711 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -31,9 +31,9 @@ CLEAN_LOCAL =
 DISTCLEANFILES =
 EXTRA_DIST = \
 	CodingStyle \
+	DESIGN \
 	INSTALL.KVM \
 	INSTALL.Linux \
-	INSTALL.OpenFlow \
 	INSTALL.SSL \
 	INSTALL.XenServer \
 	INSTALL.bridge \
@@ -57,6 +57,7 @@ man_MANS =
 noinst_DATA =
 noinst_HEADERS =
 noinst_LIBRARIES =
+noinst_man_MANS =
 noinst_PROGRAMS =
 noinst_SCRIPTS =
 OVSIDL_BUILT =