diff options
author | monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-04-25 16:02:04 +0000 |
---|---|---|
committer | monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-04-25 16:02:04 +0000 |
commit | 80567c19f2f44e7d244821039eb62a9a165dd440 (patch) | |
tree | df223bf299baa157652a2bb98435ec2cbe6f2acb /INSTALL.ide | |
parent | f8bbe83681d1de091a148578971e34a394728a56 (diff) |
new utf8.v
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3953 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'INSTALL.ide')
-rw-r--r-- | INSTALL.ide | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL.ide b/INSTALL.ide index 7e08a2372..6e471348e 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 |