34 |
settings['to_javadoc'] = merge_paths(path, settings['javadoc']) |
settings['to_javadoc'] = merge_paths(path, settings['javadoc']) |
35 |
if settings.has_key('tmpdir'): |
if settings.has_key('tmpdir'): |
36 |
settings['to_tmpdir'] = merge_paths(path, settings['tmpdir']) |
settings['to_tmpdir'] = merge_paths(path, settings['tmpdir']) |
37 |
|
if settings.has_key('css'): |
38 |
|
settings['to_css'] = merge_paths(path, settings['css']) |
39 |
|
|
40 |
def merge_paths(fromd, to): |
def merge_paths(fromd, to): |
41 |
depth = fromd.count("/") |
depth = fromd.count("/") |