Rename current -> stable

diff --git a/.github/deploy.sh b/.github/deploy.sh
index 8007bc75cdddffb0741f95aada1026b65cdce838..b1f572d2b455f0148f8bef5c40267bcfd64ce422 100644 (file)
--- 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 a1d385c965aa7a57b124f539705f3d2652db4428..cd3611db3005a4374ffcd2f15d2af948cd6f5c2f 100644 (file)
--- a/util/gh-pages/versions.html
+++ b/util/gh-pages/versions.html
@@ -64,7 +64,7 @@
 
             $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 2c9bb5fe40a9960465d36026fb542fea57f30f57..5798761ad75bd54f3393aacdee7b73da3593b09f 100755 (executable)
--- a/util/versions.py
+++ b/util/versions.py
@@ -10,7 +10,7 @@ from lintlib import log
 def key(v):
     if v == 'master':
         return float('inf')
-    if v == 'current':
+    if v == 'stable':
         return sys.maxsize
 
     v = v.replace('v', '').replace('rust-', '')