133
133
version = Configuration.Configuration().handler_maus_version(
135
135
version = version.replace(' ', '_')
138
138
doc_out_dir = os.path.join(TEMP_DST, version, 'doc')
141
141
for target in COPY_TARGETS:
144
146
print 'Copying target', target
145
147
if os.path.isdir(target):
146
148
last = target.split('/')[-1]