Fix mistake in DOM id for the documentation and add the same catching mechanism as for reposLink on the parent li

index.html

@@ -20,7 +20,7 @@
 				</div><div id="help" class="menu">
 					<span>Aide</span>
 					<ul>
-						<li id="reposLink">
+						<li id="documentation">
 							<a href="https://git.marvid.fr/Tissevert/chaoui/wiki" target="_blank">Documentation</a>
 						</li>
 						<li id="reposLink">

js/GUI.js

@@ -14,15 +14,17 @@ var saveALTO = document.getElementById('saveALTO');
 var loadScoria = document.getElementById('loadScoria');
 var saveScoria = document.getElementById('saveScoria');
 var helpMenu = document.getElementById('help');
+var documentation = document.getElementById('documentation');
 var reposLink = document.getElementById('reposLink');
-reposLink.addEventListener('click', function(e) {
-	if(e.target.tagName != 'A') {
-		e.target.children[0].click();
-	}
+[documentation, reposLink].forEach(function(elem) {
+	elem.addEventListener('click', function(e) {
+		if(e.target.tagName != 'A') {
+			e.target.children[0].click();
+		}
+	});
 });
 
 /* Controls */
-//var inputFiles = document.getElementById('inputFiles');
 var fileNumber = document.getElementById('fileNumber');
 var fileName = document.getElementById('fileName');
 var wcThreshold = document.getElementById('wcThreshold');