comparison document_it.py @ 16:d6528dd74592

only create the directory if we need to
author Jeff Hammel <jhammel@mozilla.com>
date Tue, 02 Aug 2011 18:03:55 -0700
parents d9026d114655
children 0a1aecef2c52
comparison
equal deleted inserted replaced
15:d9026d114655 16:d6528dd74592
146 if dest.startswith('file://'): 146 if dest.startswith('file://'):
147 dest = dest[len('file://'):] 147 dest = dest[len('file://'):]
148 148
149 # create a directory if needed 149 # create a directory if needed
150 dirname = os.path.dirname(dest) 150 dirname = os.path.dirname(dest)
151 os.makedirs(dirname) 151 if os.path.exists(dirname):
152 assert os.path.isdir(dirname)
153 else:
154 os.makedirs(dirname)
152 155
153 # render 156 # render
154 f = file(dest, 'w') 157 f = file(dest, 'w')
155 buffer = markdown.Markdown().convert(file(src).read()) 158 buffer = markdown.Markdown().convert(file(src).read())
156 f.write(buffer) 159 f.write(buffer)