X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=44addf025551dc4430afea5848f340dd0ee1c084;hb=424d1282e138126ebb3f8efe805f2ec9702f7fa0;hp=18108cf020b4c264e04eb2a8bf92dfaf934de68e;hpb=064af42167bf4fc9aaea2702d80ce08074b889c0;p=openvswitch

diff --git a/Makefile.am b/Makefile.am
index 18108cf0..44addf02 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -28,7 +28,7 @@ endif
 
 CLEANFILES =
 DISTCLEANFILES =
-EXTRA_DIST =
+EXTRA_DIST = INSTALL.Linux INSTALL.XenServer INSTALL.SSL
 TESTS =
 TESTS_ENVIRONMENT =
 bin_PROGRAMS =