From af3aa9c57f450dc3aa3247c4ef112858a5ea3dfc Mon Sep 17 00:00:00 2001
From: corbinea
Date: Tue, 8 Jul 2003 15:30:54 +0000
Subject: Petite erreur dans le script d'install.

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

diff --git a/INSTALL.ide b/INSTALL.ide
index b4f1a05c16..3619b31916 100644
--- a/INSTALL.ide
+++ b/INSTALL.ide
@@ -43,7 +43,7 @@ INSTALLATION
     
     cd /tmp && \
     wget http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/dist/lablgtk2-20030707.tar.gz && \
-    tar zxvf lablgtk2-20030707.tgz && \
+    tar zxvf lablgtk2-20030707.tar.gz && \
     cd lablgtk2 && \
     ./configure && \
     make world && \
-- 
cgit v1.2.3