From 160c3ffdbf943775b4ad1f693666fcb1bb553ff8 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 28 Dec 2001 18:17:13 +0000
Subject: MAJ

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

diff --git a/INSTALL.macosx b/INSTALL.macosx
index afd1b65246..fc59dc0b68 100644
--- a/INSTALL.macosx
+++ b/INSTALL.macosx
@@ -12,11 +12,15 @@ INSTALLATION PROCEDURE FOR THE COQ V7.2 SYSTEM UNDER MACOS X
 
      sudo tar -C / -xzf coq-7.2-Darwin-MacOS-X.tar.gz
 
-5) Type the command
+5) Some browsers do too much and create a file coq-7.2-Darwin-MacOS-X.tar
+   (without trailing .gz) and a folder "usr" on the Desktop; these are 
+   useless, move them to the trash (or "rm" them from a Terminal window)
+
+6) Type the command
 
      rehash
 
-6) To launch Coq, just type
+7) To launch Coq, just type
 
      coqtop
 
-- 
cgit v1.2.3