From a0e00dd52d1ef98273febb449c8a177a14552b4a Mon Sep 17 00:00:00 2001
From: notin
Date: Tue, 9 Oct 2007 10:12:29 +0000
Subject: Oubli de GTK pour Windows + typo

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10201 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 README.win | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/README.win b/README.win
index 0e0a8de2f6..0f8023bb77 100644
--- a/README.win
+++ b/README.win
@@ -34,13 +34,16 @@ COMPILATION.
     3- In order to compile Coqide, you will need the LablGTK library
        See: http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html
 
-    3- In a shell window, type successively
+       You also need to install the GTK libraries for Windows (see the
+       installation instruction for LablGTK)
+
+    4- In a shell window, type successively
 
         ./configure
         make world
         make install
 
-    4- Though not nescessary, you can find useful:
+    5- Though not nescessary, you can find useful:
          - Windows version of (X)Emacs: it is a powerful environment for
            developpers with coloured syntax, modes for compilation and debug,
            and many more. It is free. See: http://www.gnu.org/software.
-- 
cgit v1.2.3