about summary refs log tree commit diff
diff options
context:
space:
mode:
authorflip1995 <hello@philkrones.com>2020-02-13 17:32:29 +0100
committerflip1995 <hello@philkrones.com>2020-02-13 17:59:37 +0100
commit2044931cbe2ad7229eebd6cc044a73ad3dd244af (patch)
tree45e5bf07093715c757b32c042c40d2fbb7417c45
parent5e03d5bb067db8ea03e0bb75471fe40daf64f55b (diff)
downloadrust-2044931cbe2ad7229eebd6cc044a73ad3dd244af.tar.gz
rust-2044931cbe2ad7229eebd6cc044a73ad3dd244af.zip
Better version ordering of documentation
-rw-r--r--util/gh-pages/versions.html8
1 files changed, 6 insertions, 2 deletions
diff --git a/util/gh-pages/versions.html b/util/gh-pages/versions.html
index 391e22a4743..a1d385c965a 100644
--- a/util/gh-pages/versions.html
+++ b/util/gh-pages/versions.html
@@ -36,7 +36,7 @@
                 <ul class="list-group">
                     <a class="list-group-item" ng-repeat="version in data | orderBy:versionOrder:true"
                        href="./{{version}}/index.html">
-                        {{normalizeVersion(version)}}
+                        {{normalizeVersionDisplay(version)}}
                     </a>
                 </ul>
             </article>
@@ -54,10 +54,14 @@
         .controller('docVersions', function ($scope, $http) {
             $scope.loading = true;
 
-            $scope.normalizeVersion = function(v) {
+            $scope.normalizeVersionDisplay = function(v) {
                 return v.replace(/^v/, '');
             };
 
+            $scope.normalizeVersion = function(v) {
+                return v.replace(/^v/, '').replace(/^rust-/, '');
+            };
+
             $scope.versionOrder = function(v) {
                 if (v === 'master') { return Infinity; }
                 if (v === 'current') { return Number.MAX_VALUE; }