From d3effe790fcc218ac571af1ead5e63083583dc3e Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 29 Jan 2015 14:48:15 +0100
Subject: Removing outdated INSTALL.macosx file; instructions are more likely
 to be up-to-date on the web.

If someone can check that INSTALL.win is up-to-date, that'd be nice.
---
 INSTALL.macosx | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 INSTALL.macosx

diff --git a/INSTALL.macosx b/INSTALL.macosx
deleted file mode 100644
index cc1317b151..0000000000
--- a/INSTALL.macosx
+++ /dev/null
@@ -1,20 +0,0 @@
-INSTALLATION PROCEDURE FOR THE PRECOMPILED COQ V8.1 SYSTEM UNDER MACOS X
-------------------------------------------------------------------------
-
-You can also use fink, or the MacOS X package prepared by the Coq
-team. To use the MacOS X package,:
-
-1) Download archive coq-8.1-macosx-ppc.dmg (for PowerPC-base computer)
-   or coq-8.1-macosx-i386.dmg (for Pentium-based computer).
-
-2) Double-click on its icon; it mounts a disk volume named "Coq V8.1".
-
-3) Open volume "Coq 8.1" and double-click on coq-8.1.pkg to launch the
-   installer (you'll need administrator permissions).
-
-4) Coq installs in /usr/local/bin, which should be in your PATH, and
-   can be used from a Terminal window: the interactive toplevel is
-   named coqtop and the compiler is coqc.
-
-If you have any trouble with this installation, please contact:
-coq-bugs@pauillac.inria.fr.
-- 
cgit v1.2.3