diff options
| author | narboux | 2005-11-09 12:01:02 +0000 |
|---|---|---|
| committer | narboux | 2005-11-09 12:01:02 +0000 |
| commit | e64ebfbed53238d71e161c7ee5e605c603a8fca3 (patch) | |
| tree | e608d22c8c3cb342eb21077fbddc7206d91171c3 | |
| parent | de535cc498e4e543ea9fc67d837bae891f645ec7 (diff) | |
typo
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7548 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | distrib/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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" |