diff --git a/documentation/conf.py b/documentation/conf.py index b459b26cb4456a81a2922879243a21609ce6fa06..04ebb054c721f8749ce051dbc6ebe291c9751aa3 100644 --- a/documentation/conf.py +++ b/documentation/conf.py @@ -18,8 +18,8 @@ def getDocumentationUrl(base_name, repo_dir): lines = file.read().splitlines() for line in lines: - if "ref:" in line: - branchname=line.partition("refs/heads/")[1] + #if "ref:" in line: + branchname=line.partition("refs/heads/")[1] if branchname=='master': name='latest' else: name=branchname