X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL;h=3e9456ef3507893e69018fda27b82b5851999f3d;hb=36358c343bea8338ef0e8d420321a7ce0b7ce28e;hp=1d63d4b5982add4a7fabfc1b4f1c0e53e4c8fd37;hpb=1951243f5b5c167942785f04c24e810acae0907e;p=pspp

diff --git a/INSTALL b/INSTALL
index 1d63d4b598..3e9456ef35 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.