From e239ac13a8329f3be679e0b9d61778b4ad89de12 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 27 Jun 2019 16:43:55 +0200
Subject: 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.
---
 INSTALL | 26 ++------------------------
 1 file changed, 2 insertions(+), 24 deletions(-)

(limited to 'INSTALL')

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