123 |
title = title.findall(refers_file.read()) |
title = title.findall(refers_file.read()) |
124 |
refers_file.close() |
refers_file.close() |
125 |
except IOError: |
except IOError: |
126 |
raise MetaposException("Reference file defined in "+refers[id]+" was not found.") |
raise MetapostException("Referenced file %s defined in %s was not found." % (refers[id], filepath)) |
127 |
|
|
128 |
if len(title) > 0: title = title[0] |
if len(title) > 0: title = title[0] |
129 |
else: title = refers[id].split("/")[-1].split(".")[0] |
else: title = refers[id].split("/")[-1].split(".")[0] |