Fix dev/doc/README.md by removing redundant, outdated info.

And also clean INSTALL file of useless reminder of the procedure to
install using a package manager.

1 files changed, 2 insertions, 24 deletions

diff --git a/INSTALL b/INSTALL
index 30f0938690..0810b0b707 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,32 +1,10 @@
-
-            INSTALLATION PROCEDURE
-            ----------------------
+            INSTALLING FROM SOURCES
+            -----------------------
 
 
 WHAT DO YOU NEED ?
 ==================
 
-   Your OS may already contain Coq under the form of a precompiled
-   package or ready-to-compile port. In this case, and if the supplied
-   version suits you, follow the usual procedure for your OS to
-   install it. E.g.:
-
-   - Debian GNU/Linux derivatives (or Debian GNU/k*BSD or ...):
-
-     aptitude install coq
-
-   - Gentoo GNU/Linux:
-
-     emerge sci-mathematics/coq
-
-   - Fedora GNU/Linux:
-
-     urpmi coq
-
-   - MacPorts for MacOS X
-
-     port install coq
-
    To compile Coq yourself, you need:
 
    - OCaml (version >= 4.05.0)