Update INSTALL.Fedora to mention Fedora 17 instead of Fedora 15

Reflect the fact Fedora RPM support was recently implemented
on Fedora 17 instead of Fedora 15.

Signed-off-by: Kyle Mestery <kmestery@cisco.com>
Signed-off-by: Ben Pfaff <blp@nicira.com>

diff --git a/INSTALL.Fedora b/INSTALL.Fedora
index d023127..708cae6 100644 (file)
--- a/INSTALL.Fedora
+++ b/INSTALL.Fedora
@@ -14,7 +14,7 @@ You may build from an Open vSwitch distribution tarball or from an
 Open vSwitch Git tree.
 
 Before you begin, note the RPM source directory on your version of
-Fedora.  On Fedora 15, it is $HOME/rpmbuild/SOURCES.
+Fedora.  On Fedora 17, it is $HOME/rpmbuild/SOURCES.
 
 1. If you are building from an Open vSwitch Git tree, then you will
    need to first create a distribution tarball by running "./boot.sh;
@@ -31,7 +31,7 @@ Fedora.  On Fedora 15, it is $HOME/rpmbuild/SOURCES.
 
    This produces one RPM: "openvswitch".
 
-5. On Fedora 15, to build the Open vSwitch kernel module, run:
+5. On Fedora 17, to build the Open vSwitch kernel module, run:
 
        rpmbuild -bb rhel/openvswitch-kmod-fedora.spec