@@ -14,7 +14,6 @@ def sha1(x):
1414 return hashlib.sha1(x).hexdigest()
1515
1616imagedir = "graphviz-images"
17−files = []
1817
1918def graphviz(key, value, format):
2019 if key == 'CodeBlock':
@@ -32,14 +31,14 @@ def graphviz(key, value, format):
3231 filetype = "png"
3332 alt = [{'Str': caption}]
3433 src = imagedir + '/' + filename + '.' + filetype
35− if not src in files:
34+ if not os.path.isfile(src):
3635 try:
3736 os.mkdir(imagedir)
38− sys.stderr.write('Created directory ' + imagedir)
37+ sys.stderr.write('Created directory ' + imagedir + '\n')
3938 except OSError:
4039 pass
4140 G.draw(src)
42− sys.stderr.write('Created image ' + src)
41+ sys.stderr.write('Created image ' + src + '\n')
4342 tit = ""
4443 return {'Para': [{'Image': [alt, [src,tit]]}]}
4544