1.1 --- a/tools/makefonts.sh Tue May 29 19:01:38 2018 +0200
1.2 +++ b/tools/makefonts.sh Tue May 29 19:02:55 2018 +0200
1.3 @@ -19,6 +19,12 @@
1.4 GNU Unifont is supported.
1.5
1.6 The optional -q argument indicates quiet execution, suppressing all output.
1.7 +
1.8 +This script assumes that Unifont is installed in the following location:
1.9 +
1.10 +$UNIFONT
1.11 +
1.12 +The UNIFONT variable should be adjusted if this is not the case.
1.13 EOF
1.14 exit 1
1.15 fi
1.16 @@ -58,5 +64,16 @@
1.17 if [ ! "$QUIET" ] ; then
1.18 echo "$FONTPATH"
1.19 fi
1.20 - "$THISDIR/readfont.py" "$UNIFONT" "$FONTPATH"
1.21 +
1.22 + if ! "$THISDIR/readfont.py" "$UNIFONT" "$FONTPATH" ; then
1.23 + cat 1>&2 <<EOF
1.24 +
1.25 +Font generation halted due to conversion problem. Please check the UNIFONT
1.26 +variable in this script, located here:
1.27 +
1.28 +$DIRNAME/$PROGNAME
1.29 +EOF
1.30 + exit 1
1.31 + fi
1.32 +
1.33 done