diff --git a/Makefile b/Makefile index e723d06a28df7b6ffbe39255b98792c3910ff960..2f7a9318d5e57572d5aabedcd07979701589ea8b 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.111 2001-08-01 10:46:41 geuzaine Exp $ +# $Id: Makefile,v 1.112 2001-08-01 10:47:50 geuzaine Exp $ # ---------------------------------------------------------------------- # Makefile for Gmsh # ---------------------------------------------------------------------- @@ -235,8 +235,7 @@ distrib: rm -rf gmsh-$(GMSH_RELEASE) distrib-win: - cd ../gmsh-distrib - zip -r gmsh-$(GMSH_RELEASE)-Windows.zip * + cd ../gmsh-distrib && zip -r gmsh-$(GMSH_RELEASE)-Windows.zip * strip_bin: strip $(GMSH_BIN_DIR)/gmsh