X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL;h=23bbf8a4b1ead5afaf8aab88c36afbb68f835808;hb=fb2ea72de79b1e5cf5fc3bc99e0ffdd7b50ef326;hp=6654e90bb52507a395ac9be49812e69529f3e41a;hpb=7bc2f8c0fb6b963b52fe86d1259ae254f40362c5;p=pspp

diff --git a/INSTALL b/INSTALL
index 6654e90bb5..23bbf8a4b1 100644
--- a/INSTALL
+++ b/INSTALL
@@ -55,6 +55,10 @@ use the GUI, you must run `configure' with --without-gui.
 
     * GTK+ (http://www.gtk.org/), version 2.12.0 or later.
 
+    * GtkSourceView (http://projects.gnome.org/gtksourceview/) 
+      version 2.2 or later.
+
+
 To cross-compile PSPP, you will likely need to set the
 PKG_CONFIG_LIBDIR environment variable to point to an
 appropriate pkg-config for the cross-compilation environment.