1 files 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)