mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #10876 - flip1995:gh-pages-cleanup-repo, r=flip1995

Browse Source 
Adapt versions.html file to cleaned up gh-pages

Companion PR to #10875

changelog: Remove legacy v0.0.* versions from Clippy repository and documentation.

Must be merged together with #10875 (best with a closed tree)

r? `@Alexendoo` (because you were randomly selected on the other PR :P)
This commit is contained in:
bors 2023-06-17 07:37:21 +00:00
commit baf3680d1b
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
util/gh-pages/versions.html
View File

@ -36,7 +36,7 @@
<ul class="list-group"> <ul class="list-group">
<a class="list-group-item" ng-repeat="version in data | orderBy:versionOrder:true" <a class="list-group-item" ng-repeat="version in data | orderBy:versionOrder:true"
href="./{{version}}/index.html"> href="./{{version}}/index.html">
{{normalizeVersionDisplay(version)}} {{version}}
</a> </a>
</ul> </ul>
</article> </article>
@ -54,18 +54,15 @@
.controller('docVersions', function ($scope, $http) { .controller('docVersions', function ($scope, $http) {
$scope.loading = true; $scope.loading = true;
$scope.normalizeVersionDisplay = function(v) {
return v.replace(/^v/, '');
};
$scope.normalizeVersion = function(v) { $scope.normalizeVersion = function(v) {
return v.replace(/^v/, '').replace(/^rust-/, ''); return v.replace(/^rust-/, '');
}; };
$scope.versionOrder = function(v) { $scope.versionOrder = function(v) {
if (v === 'master') { return Infinity; } if (v === 'master') { return Infinity; }
if (v === 'stable') { return Number.MAX_VALUE; } if (v === 'stable') { return Number.MAX_VALUE; }
if (v === 'beta') { return Number.MAX_VALUE - 1; } if (v === 'beta') { return Number.MAX_VALUE - 1; }
if (v === 'pre-1.29.0') { return Number.MIN_VALUE; }
return $scope.normalizeVersion(v) return $scope.normalizeVersion(v)
.split('.') .split('.')