add install instruction for mandriva

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11000 85f007b7-540e-0410-9357-904b9bb8a0f7

2 files changed, 10 insertions, 3 deletions

diff --git a/INSTALL b/INSTALL
index 5d2cbb332..ed12c6eb2 100644
--- a/INSTALL
+++ b/INSTALL
@@ -30,8 +30,13 @@ WHAT DO YOU NEED ?
 
      aptitude install coq
 
-   - Gentoo GNU/Linux: emerge sci-mathematics/coq
+   - Gentoo GNU/Linux: 
 
+     emerge sci-mathematics/coq
+
+   - Mandriva GNU/Linux:
+
+     urpmi coq
 
    Should you need or prefer to compile Coq V8.1 yourself, you need:
 
@@ -65,7 +70,7 @@ WHAT DO YOU NEED ?
 
      - a C compiler
 
-     - for Coqide, the Lablgtk development files, and the GTK libraries
+     - for Coqide, the Lablgtk development files, and the GTK libraries, see INSTALL.ide for more details
 
    By FTP, Coq comes as a single compressed tar-file. You have
    probably already decompressed it if you are reading this document.
diff --git a/INSTALL.ide b/INSTALL.ide
index 5a4a62238..9aa9c72cd 100644
--- a/INSTALL.ide
+++ b/INSTALL.ide
@@ -45,11 +45,13 @@ REQUIREMENT:
 	  Your distribution may contain precompiled packages. For
           example, for Debian, run
                 aptitude install liblablgtk2-ocaml-dev
+		   for Mandriva, run
+		urpmi ocaml-lablgtk2-devel
 
           If it does not, see
           http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html .
 
-          The first official release of lablftk2 is here:
+          One official releases of lablgtk2 is here:
           http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/dist/lablgtk-2.10.0.tar.gz
 
           Note that even if its README requires ocaml > 3.07, it works