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

diff --git a/Makefile.am b/Makefile.am
index deae5127..71a0652c 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -31,6 +31,7 @@ CLEAN_LOCAL =
 DISTCLEANFILES =
 EXTRA_DIST = \
 	CodingStyle \
+	DESIGN \
 	INSTALL.KVM \
 	INSTALL.Linux \
 	INSTALL.OpenFlow \