X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL;h=3016d0261970bb1132ab88d59bfdfcb351494f37;hb=refs%2Fheads%2Fctables10;hp=ff46f98eb51769db6cafe50e68ebc92b268f04d8;hpb=89c05dfe33f9542e60e66dd383f7a514849b5947;p=pspp

diff --git a/INSTALL b/INSTALL
index ff46f98eb5..3016d02619 100644
--- a/INSTALL
+++ b/INSTALL
@@ -85,7 +85,7 @@ use the GUI, you must run `configure' with --without-gui.
     * GTK+ (http://www.gtk.org/), version 3.22.0 or later.
 
     * GtkSourceView (http://projects.gnome.org/gtksourceview/)
-      version 3.4.0 or later.
+      version 3.x (3.4.2 or later) or 4.x.
 
     * GNU Spread Sheet Widget (http://www.gnu.org/software/ssw)
       version 0.7 or later.