From 2e6a28cdc99b0ac96fed549270ec7bed8d2b785e Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 21 Nov 2000 17:08:34 +0000
Subject: ln -sf au lieu de ln -s

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

diff --git a/Makefile b/Makefile
index 44c2590cb0..ae285f2f55 100644
--- a/Makefile
+++ b/Makefile
@@ -413,12 +413,12 @@ install: install-$(BEST) install-binaries install-library install-manpages
 install-byte:
 	$(MKDIR) $(BINDIR)
 	cp $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(BINDIR)
-	cd $(BINDIR); ln -s coqtop.byte coqtop
+	cd $(BINDIR); ln -sf coqtop.byte coqtop
 
 install-opt:
 	$(MKDIR) $(BINDIR)
 	cp $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(COQTOPOPT) $(BINDIR)
-	cd $(BINDIR); ln -s coqtop.opt coqtop
+	cd $(BINDIR); ln -sf coqtop.opt coqtop
 
 install-binaries:
 	$(MKDIR) $(BINDIR)
-- 
cgit v1.2.3