diff --git a/Makefile b/Makefile index 6828e4d74b4a90363d7a3b7f4ebbbb301511f00b..e723d06a28df7b6ffbe39255b98792c3910ff960 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.110 2001-08-01 09:46:35 geuzaine Exp $ +# $Id: Makefile,v 1.111 2001-08-01 10:46:41 geuzaine Exp $ # ---------------------------------------------------------------------- # Makefile for Gmsh # ---------------------------------------------------------------------- @@ -234,6 +234,10 @@ distrib: mv gmsh-$(GMSH_RELEASE)-$(GMSH_UNAME).tar.gz gmsh-$(GMSH_RELEASE)-$(GMSH_UNAME).tgz rm -rf gmsh-$(GMSH_RELEASE) +distrib-win: + cd ../gmsh-distrib + zip -r gmsh-$(GMSH_RELEASE)-Windows.zip * + strip_bin: strip $(GMSH_BIN_DIR)/gmsh