Improved graphviz.py.

It won't regenerate images that have already been built.

1 files changed, 3 insertions, 4 deletions

diff --git a/scripts/graphviz.py b/scripts/graphviz.py
index ec31578ab..2d977079b 100755
--- a/scripts/graphviz.py
+++ b/scripts/graphviz.py
@@ -14,7 +14,6 @@ def sha1(x):
   return hashlib.sha1(x).hexdigest()
 
 imagedir = "graphviz-images"
-files = []
 
 def graphviz(key, value, format):
   if key == 'CodeBlock':
@@ -32,14 +31,14 @@ def graphviz(key, value, format):
         filetype = "png"
       alt = [{'Str': caption}]
       src = imagedir + '/' + filename + '.' + filetype
-      if not src in files:
+      if not os.path.isfile(src):
         try:
           os.mkdir(imagedir)
-          sys.stderr.write('Created directory ' + imagedir)
+          sys.stderr.write('Created directory ' + imagedir + '\n')
         except OSError:
           pass
         G.draw(src)
-        sys.stderr.write('Created image ' + src)
+        sys.stderr.write('Created image ' + src + '\n')
       tit = ""
       return {'Para': [{'Image': [alt, [src,tit]]}]}