134 |
try: |
try: |
135 |
refers_file = open(refers[id], 'r') |
refers_file = open(refers[id], 'r') |
136 |
title = re.compile('<title>([^<]*)</title>') |
title = re.compile('<title>([^<]*)</title>') |
137 |
title = title.findall(refers_file.read())[0] |
title = title.findall(refers_file.read()) |
138 |
refers_file.close() |
refers_file.close() |
139 |
except IOError: |
except IOError: |
140 |
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)) |
141 |
|
|
142 |
# Could just a <title> be good enough for the title :P |
strip = re.compile('[a-zA-ZåäöÅÄÖ ]*') |
143 |
# strip = re.compile('[a-zA-ZåäöÅÄÖ+ ]*') |
if len(title) > 0: title = strip.findall(title[0])[0] |
144 |
# if len(title) > 0: title = "".join(strip.findall(title[0])) |
else: title = refers[id].split("/")[-1].split(".")[0] |
|
if len(title) == 0: title = refers[id].split("/")[-1].split(".")[0] |
|
145 |
|
|
146 |
if config.link_base_directory == None: |
if config.link_base_directory == None: |
147 |
target = relative_path(config.working_directory, refers[id]) |
target = relative_path(config.working_directory, refers[id]) |