diff options
Diffstat (limited to '')
-rw-r--r-- | fonts/fonts.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/fonts/fonts.sh b/fonts/fonts.sh index 92936b3..c698300 100644 --- a/fonts/fonts.sh +++ b/fonts/fonts.sh @@ -20,7 +20,7 @@ rm -r urw-base35*/ # AMS and computer modern fonts echo "Retrieving $AMSURL" $HGET amsfonts.zip $AMSURL -unzip -q amsfonts.zip 'fonts/*' +unzip -q amsfonts.zip 'fonts/**' for x in fonts/afm/public/amsfonts/cm/*.afm do cp $x `basename $x .afm | tr a-z A-Z`.afm |