tools/makefonts.sh | raw changeset files shortlog |
1.1 --- a/tools/makefonts.sh Tue May 29 19:02:55 2018 +0200 1.2 +++ b/tools/makefonts.sh Tue May 29 22:26:18 2018 +0200 1.3 @@ -1,12 +1,7 @@ 1.4 #!/bin/sh 1.5 1.6 -if ! which realpath > /dev/null ; then 1.7 - echo "Please install the realpath program." 1>&2 1.8 - exit 1 1.9 -fi 1.10 - 1.11 THISDIR=`dirname "$0"` 1.12 -DIRNAME=`realpath "$THISDIR/.."` 1.13 +DIRNAME=`readlink -f "$THISDIR/.."` 1.14 PROGNAME=`basename "$0"` 1.15 1.16 UNIFONT='/usr/share/unifont/unifont.hex'