From 0f7918266fa4f4a50237c8bdac79cb1e3001d86c Mon Sep 17 00:00:00 2001
From: flip1995 <hello@philkrones.com>
Date: Fri, 14 Feb 2020 12:03:48 +0100
Subject: [PATCH] Rename current -> stable

---
 .github/deploy.sh           | 6 +++---
 util/gh-pages/versions.html | 2 +-
 util/versions.py            | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/deploy.sh b/.github/deploy.sh
index 8007bc75cddd..b1f572d2b455 100644
--- a/.github/deploy.sh
+++ b/.github/deploy.sh
@@ -11,10 +11,10 @@ cp util/gh-pages/index.html out/master
 python3 ./util/export.py out/master/lints.json
 
 if [[ -n $TAG_NAME ]]; then
-  echo "Save the doc for the current tag ($TAG_NAME) and point current/ to it"
+  echo "Save the doc for the current tag ($TAG_NAME) and point stable/ to it"
   cp -r out/master "out/$TAG_NAME"
-  rm -f out/current
-  ln -s "$TAG_NAME" out/current
+  rm -f out/stable
+  ln -s "$TAG_NAME" out/stable
 fi
 
 # Generate version index that is shown as root index page
diff --git a/util/gh-pages/versions.html b/util/gh-pages/versions.html
index a1d385c965aa..cd3611db3005 100644
--- a/util/gh-pages/versions.html
+++ b/util/gh-pages/versions.html
@@ -64,7 +64,7 @@ <h3 class="panel-title">
 
             $scope.versionOrder = function(v) {
                 if (v === 'master') { return Infinity; }
-                if (v === 'current') { return Number.MAX_VALUE; }
+                if (v === 'stable') { return Number.MAX_VALUE; }
 
                 return $scope.normalizeVersion(v)
                     .split('.')
diff --git a/util/versions.py b/util/versions.py
index 2c9bb5fe40a9..5798761ad75b 100755
--- a/util/versions.py
+++ b/util/versions.py
@@ -10,7 +10,7 @@
 def key(v):
     if v == 'master':
         return float('inf')
-    if v == 'current':
+    if v == 'stable':
         return sys.maxsize
 
     v = v.replace('v', '').replace('rust-', '')