From 69553d6a87eab1e1769332a92df26e9a02a0f6c1 Mon Sep 17 00:00:00 2001
From: jnarboux <jnarboux@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 27 May 2008 16:28:09 +0000
Subject: add install instruction for mandriva

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11000 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 INSTALL | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'INSTALL')

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.
-- 
cgit v1.2.3