Minor update for --os-shell directories

This commit is contained in:
Miroslav Stampar
2016-05-24 12:53:21 +02:00
parent 3e76895155
commit 023dda26fc
3 changed files with 11 additions and 6 deletions

View File

@@ -767,9 +767,14 @@ def getManualDirectories():
for suffix in BRUTE_DOC_ROOT_SUFFIXES:
for target in targets:
item = "%s/%s" % (prefix, suffix)
if not prefix.endswith("/%s" % suffix):
item = "%s/%s" % (prefix, suffix)
else:
item = prefix
item = item.replace(BRUTE_DOC_ROOT_TARGET_MARK, target).replace("//", '/').rstrip('/')
directories.append(item)
if item not in directories:
directories.append(item)
if BRUTE_DOC_ROOT_TARGET_MARK not in prefix:
break