Rename current -> stable

This commit is contained in:
flip1995 2020-02-14 12:03:48 +01:00
parent 0533cff125
commit 0f7918266f
No known key found for this signature in database
GPG Key ID: 693086869D506637
3 changed files with 5 additions and 5 deletions

6
.github/deploy.sh vendored
View File

@ -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

View File

@ -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('.')

View File

@ -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-', '')