diff --git a/documentation/conf.py b/documentation/conf.py index 160a4aedff1949ac23cfabe8b835efda740e1106..b459b26cb4456a81a2922879243a21609ce6fa06 100644 --- a/documentation/conf.py +++ b/documentation/conf.py @@ -17,9 +17,6 @@ def getDocumentationUrl(base_name, repo_dir): with open(repo_dir + '/.git/HEAD', 'r') as file : lines = file.read().splitlines() - branchname='' - name='' - for line in lines: if "ref:" in line: branchname=line.partition("refs/heads/")[1]