From 297e6ad3084b80da0ca4a74b81389b9c7c8697e8 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Mon, 22 Sep 2003 14:39:15 +0000
Subject: typo (Benjamin, voyons ;)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4443 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 INSTALL.ide | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL.ide b/INSTALL.ide
index 2d446f5cac..d57300fb17 100644
--- a/INSTALL.ide
+++ b/INSTALL.ide
@@ -43,7 +43,7 @@ INSTALLATION
     
     cd /tmp && \
     wget 	http://www.lri.fr/~monate/download/lablgtk2-20030919.tar.gz && \
-    tar zxvf lablgtk2-200919.tar.gz && \
+    tar zxvf lablgtk2-20030919.tar.gz && \
     cd lablgtk2-20030919 && \
     ./configure && \
     make world && \
-- 
cgit v1.2.3