diff options
| -rw-r--r-- | misc/makezip2.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/misc/makezip2.sh b/misc/makezip2.sh index 2dcfda03e..26cdfc4dc 100644 --- a/misc/makezip2.sh +++ b/misc/makezip2.sh @@ -1,4 +1,5 @@ -#!/bin/bash -e +#!/bin/bash +set -e cd "$(dirname "$0")/.." OPT_HELP=false @@ -76,7 +77,7 @@ cp $FONTDIR/var/Inter*.var.ttf "$ZIPDIR/Variable/" & # Web cp $FONTDIR/static/Inter-*.woff* "$ZIPDIR/Web/" & cp $FONTDIR/var/Inter.var.woff2 "$ZIPDIR/Web/" & -cp $FONTDIR/var/Inter-italic.var.woff2 "$ZIPDIR/Web/" & +cp $FONTDIR/var/Inter-Italic.var.woff2 "$ZIPDIR/Web/" & cp misc/dist/inter.css "$ZIPDIR/Web/" & # ---------------------------------------------------------------------------- |