From 09e26582526e0fc415bb198b0b161e082c22b9a8 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 28 Dec 2001 18:07:38 +0000
Subject: MAJ

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

diff --git a/INSTALL.macosx b/INSTALL.macosx
index a1b1a37c28..afd1b65246 100644
--- a/INSTALL.macosx
+++ b/INSTALL.macosx
@@ -10,15 +10,15 @@ INSTALLATION PROCEDURE FOR THE COQ V7.2 SYSTEM UNDER MACOS X
 
 4) Type the command
 
-   sudo tar -C / -xzf coq-7.2-Darwin-MacOS-X.tar.gz
+     sudo tar -C / -xzf coq-7.2-Darwin-MacOS-X.tar.gz
 
 5) Type the command
 
-    rehash
+     rehash
 
 6) To launch Coq, just type
 
-    coqtop
+     coqtop
 
 You're done
 
-- 
cgit v1.2.3