From e64ebfbed53238d71e161c7ee5e605c603a8fca3 Mon Sep 17 00:00:00 2001
From: narboux
Date: Wed, 9 Nov 2005 12:01:02 +0000
Subject: typo

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

diff --git a/distrib/Makefile b/distrib/Makefile
index f158a1ad06..3f203d6d34 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -36,7 +36,7 @@ noarguments:
 	@echo "make pcoq-rpm     to build a src.rpm and a rpm for pcoq on this arch"
 	@echo "make deb          to build a debian package"
 	@echo "make win          to build a windows package"
-	@echo "make win-installer to build a windows install program"
+	@echo "make windows-installer to build a windows install program"
 	@echo "make macosx       to build a MacOS-X package on a disk image"
 	@echo "make contrib-tag     to tag the current contrib state with the release number"
 	@echo "make contrib-tar-gz  to build a tar.gz of contrib sources"
-- 
cgit v1.2.3