125 |
except IOError: |
except IOError: |
126 |
raise MetapostException("Referenced file %s defined in %s was not found." % (refers[id], filepath)) |
raise MetapostException("Referenced file %s defined in %s was not found." % (refers[id], filepath)) |
127 |
|
|
128 |
if len(title) > 0: title = title[0] |
strip = re.compile('[a-zA-ZåäöÅÄÖ ]*') |
129 |
|
if len(title) > 0: title = strip.findall(title[0])[0] |
130 |
else: title = refers[id].split("/")[-1].split(".")[0] |
else: title = refers[id].split("/")[-1].split(".")[0] |
131 |
|
|
132 |
target = relative_path(config.working_directory, refers[id]) |
if config.link_base_directory == None: |
133 |
|
target = relative_path(config.working_directory, refers[id]) |
134 |
|
else: |
135 |
|
target = relative_path(config.link_base_directory, refers[id]) |
136 |
refer_names[id] = random_var() |
refer_names[id] = random_var() |
137 |
|
|
138 |
element = mptitle(refer_names[id], title, |
element = mptitle(refer_names[id], title, |