1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL.ide b/INSTALL.ide
index 7e08a23724..6e471348e0 100644
--- a/INSTALL.ide
+++ b/INSTALL.ide
@@ -44,7 +44,7 @@ INSTALLATION
     cd /tmp && \
     wget http://www.lri.fr/~monate/download/lablgtk2-coqide.tgz && \
     tar zxvf lablgtk2-coqide.tgz && \
-    cd lablgtk2 && \
+    cd lablgtk2-coqide && \
     make configure && \
     make all opt && \
     make install