1.1 --- a/tools/readfont.py Tue May 29 19:01:38 2018 +0200
1.2 +++ b/tools/readfont.py Tue May 29 19:02:55 2018 +0200
1.3 @@ -20,7 +20,7 @@
1.4 with this program. If not, see <http://www.gnu.org/licenses/>.
1.5 """
1.6
1.7 -from os.path import split
1.8 +from os.path import isfile, split
1.9 import sys
1.10
1.11 def convert_font(fin, fout, points, missing=32):
1.12 @@ -233,6 +233,10 @@
1.13 # Convert from the input to the output file.
1.14
1.15 else:
1.16 + if not isfile(filename_or_option):
1.17 + print >>sys.stderr, "Font file not found:", filename_or_option
1.18 + sys.exit(1)
1.19 +
1.20 fin = open(filename_or_option)
1.21 fout = open(tff_filename, "w")
1.22 try: