From 6109d9513ecc704642ee9372afc2c9c2d016de33 Mon Sep 17 00:00:00 2001
From: Gnieark <rpasserieu@ch-boispetit.fr>
Date: Mon, 6 Jun 2016 11:11:09 +0200
Subject: [PATCH] fix languages links

---
 html/index.php | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/html/index.php b/html/index.php
index 8342d2b..92477b8 100644
--- a/html/index.php
+++ b/html/index.php
@@ -245,7 +245,12 @@ if (isset($_POST['xd_check'])){
 <body>
   <header>
     <h1><?php echo $siteTitle; ?></h1>
-      <nav id="languages"><a href="<?php echo $currentArena; ?>-fr">fr</a>&nbsp;<a href="<?php echo $currentArena; ?>-en">en</a></nav>
+      <?php
+	if(isset($_GET['doc'])){
+	    echo '<nav id="languages"><a href="/'.$currentArena.'/doc-fr">fr</a>&nbsp;<a href="/'.$currentArena.'/doc-en">en</a></nav>';
+	 }else{
+	    echo '<nav id="languages"><a href="/'. $currentArena.'-fr">fr</a>&nbsp;<a href="/'.$currentArena.'-en">en</a></nav>';
+	 }
       <nav id="menus"><a href="/"<?php if(($currentArena == "") && (!isset($_GET['doc']))) echo ' class="selected"'; ?>><?php echo $lang['HOME']; ?></a>
       <?php
 
