X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=Makefile.am;h=9cad47b72069ab2cafb68257766c1d9b07f19cdd;hb=aa319503aa099030d4e4796710b0ebace8907f2b;hp=50c4b14283781d5efdae2a84a32db228a0e25bcb;hpb=b4e1bf8b7ef8704d857a9ee93d40719289b2139e;p=openvswitch

diff --git a/Makefile.am b/Makefile.am
index 50c4b142..9cad47b7 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -42,9 +42,9 @@ EXTRA_DIST = \
 	CodingStyle \
 	DESIGN \
 	FAQ \
+	INSTALL \
 	INSTALL.KVM \
 	INSTALL.Libvirt \
-	INSTALL.Linux \
 	INSTALL.RHEL \
 	INSTALL.SSL \
 	INSTALL.XenServer \