From 726a7fccc1234efef8f1369eb98f87ed9772069e Mon Sep 17 00:00:00 2001
From: Maxime Gimeno <maxime.gimeno@gmail.com>
Date: Wed, 5 Sep 2018 14:38:04 +0200
Subject: [PATCH] If the current version of the doc is not in the array,
 display it anyway. To be etested.

---
 Documentation/doc/resources/1.8.13/menu_version.js | 10 +++++++---
 Documentation/doc/resources/1.8.14/menu_version.js | 10 +++++++---
 Documentation/doc/resources/1.8.4/menu_version.js  | 10 +++++++---
 3 files changed, 21 insertions(+), 9 deletions(-)

diff --git a/Documentation/doc/resources/1.8.13/menu_version.js b/Documentation/doc/resources/1.8.13/menu_version.js
index af2be01a800..e6138b2b6bc 100644
--- a/Documentation/doc/resources/1.8.13/menu_version.js
+++ b/Documentation/doc/resources/1.8.13/menu_version.js
@@ -3,6 +3,7 @@
 
   var url_re =  /(cgal\.geometryfactory\.com\/CGAL\/doc\/|doc\.cgal\.org\/)(master|latest|(\d\.\d+|\d\.\d+\.\d+))\//;
   var url_local =  /.*\/doc_output\//;
+  var current_version_local = '4.13-beta1'
   var all_versions = [
     'master',
     'latest',
@@ -21,7 +22,6 @@
 
   function build_select(current_version) {
     var buf = ['<select>'];
-
     $.each(all_versions, function(id) {
       var version = all_versions[id];
       buf.push('<option value="' + version + '"');
@@ -32,7 +32,11 @@
       }
       buf.push('</option>');
     });
-
+    if ( !all_versions.includes(current_version)) {
+       buf.push('<option value="' + current_version + '"');
+       buf.push(' selected="selected">' + current_version);
+       buf.push('</option>');
+    }
     buf.push('</select>');
     return buf.join('');
   }
@@ -77,7 +81,7 @@
       else {
         match = url_local.exec(window.location.href);
         if (match) {
-          var version = '4.11';
+          var version = current_version_local;
           var select = build_select(version);
           spanNode.innerHTML=select;
           $('.version_menu select').bind('change', on_switch);
diff --git a/Documentation/doc/resources/1.8.14/menu_version.js b/Documentation/doc/resources/1.8.14/menu_version.js
index af2be01a800..e6138b2b6bc 100644
--- a/Documentation/doc/resources/1.8.14/menu_version.js
+++ b/Documentation/doc/resources/1.8.14/menu_version.js
@@ -3,6 +3,7 @@
 
   var url_re =  /(cgal\.geometryfactory\.com\/CGAL\/doc\/|doc\.cgal\.org\/)(master|latest|(\d\.\d+|\d\.\d+\.\d+))\//;
   var url_local =  /.*\/doc_output\//;
+  var current_version_local = '4.13-beta1'
   var all_versions = [
     'master',
     'latest',
@@ -21,7 +22,6 @@
 
   function build_select(current_version) {
     var buf = ['<select>'];
-
     $.each(all_versions, function(id) {
       var version = all_versions[id];
       buf.push('<option value="' + version + '"');
@@ -32,7 +32,11 @@
       }
       buf.push('</option>');
     });
-
+    if ( !all_versions.includes(current_version)) {
+       buf.push('<option value="' + current_version + '"');
+       buf.push(' selected="selected">' + current_version);
+       buf.push('</option>');
+    }
     buf.push('</select>');
     return buf.join('');
   }
@@ -77,7 +81,7 @@
       else {
         match = url_local.exec(window.location.href);
         if (match) {
-          var version = '4.11';
+          var version = current_version_local;
           var select = build_select(version);
           spanNode.innerHTML=select;
           $('.version_menu select').bind('change', on_switch);
diff --git a/Documentation/doc/resources/1.8.4/menu_version.js b/Documentation/doc/resources/1.8.4/menu_version.js
index af2be01a800..e6138b2b6bc 100644
--- a/Documentation/doc/resources/1.8.4/menu_version.js
+++ b/Documentation/doc/resources/1.8.4/menu_version.js
@@ -3,6 +3,7 @@
 
   var url_re =  /(cgal\.geometryfactory\.com\/CGAL\/doc\/|doc\.cgal\.org\/)(master|latest|(\d\.\d+|\d\.\d+\.\d+))\//;
   var url_local =  /.*\/doc_output\//;
+  var current_version_local = '4.13-beta1'
   var all_versions = [
     'master',
     'latest',
@@ -21,7 +22,6 @@
 
   function build_select(current_version) {
     var buf = ['<select>'];
-
     $.each(all_versions, function(id) {
       var version = all_versions[id];
       buf.push('<option value="' + version + '"');
@@ -32,7 +32,11 @@
       }
       buf.push('</option>');
     });
-
+    if ( !all_versions.includes(current_version)) {
+       buf.push('<option value="' + current_version + '"');
+       buf.push(' selected="selected">' + current_version);
+       buf.push('</option>');
+    }
     buf.push('</select>');
     return buf.join('');
   }
@@ -77,7 +81,7 @@
       else {
         match = url_local.exec(window.location.href);
         if (match) {
-          var version = '4.11';
+          var version = current_version_local;
           var select = build_select(version);
           spanNode.innerHTML=select;
           $('.version_menu select').bind('change', on_switch);