X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL.Linux;h=9767f99bb3727f36398d30752a90eee84b0b0661;hb=f17d7bd838a678b6ca1db63c15c567508836cfcf;hp=817c9abec51942dc567ada83d53fb5c228d04319;hpb=37ea6436bd78e5b128279ed39138911e66ba7b8e;p=openvswitch

diff --git a/INSTALL.Linux b/INSTALL.Linux
index 817c9abe..9767f99b 100644
--- a/INSTALL.Linux
+++ b/INSTALL.Linux
@@ -2,8 +2,8 @@
                  ====================================
 
 This document describes how to build and install Open vSwitch on a
-generic Linux host host.  If you want to install Open vSwitch on a
-Citrix XenServer 5.5.0, see INSTALL.XenServer instead.
+generic Linux host.  If you want to install Open vSwitch on a Citrix
+XenServer version 5.5.0, see INSTALL.XenServer instead.
 
 This version of Open vSwitch should be built manually with "configure"
 and "make".  Debian packaging for Open vSwitch is also included, but