diff options
| author | jdollar <dollarhidejoel@gmail.com> | 2020-10-03 19:05:31 -0400 |
|---|---|---|
| committer | Caleb Cartwright <calebcartwright@users.noreply.github.com> | 2021-08-17 21:55:26 -0500 |
| commit | 3c36a0c0b74c2e5cb4c27a53e596b5729a5b3c65 (patch) | |
| tree | c8d3d5eb03b263766fde47b165490944d1d5146a | |
| parent | 5c7ac69393a20e18bcc07f0d69383bc6254d1b40 (diff) | |
| download | rust-3c36a0c0b74c2e5cb4c27a53e596b5729a5b3c65.tar.gz rust-3c36a0c0b74c2e5cb4c27a53e596b5729a5b3c65.zip | |
Exluding v0.8.1 and v0.7 from the config dropdown
Older tags of the repo don't have the configuration.md file that the docs/index.html file uses to display configuration options. Removing them from the list since they don't apply to the use case of the documentation page.
| -rw-r--r-- | docs/index.html | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/index.html b/docs/index.html index eb5ded4ac30..bab4d2ec63b 100644 --- a/docs/index.html +++ b/docs/index.html @@ -181,10 +181,12 @@ this.handleReqFailure(e); return; } - const reMajorVersion = /v(\d+)/; + + const excludedTagVersions = new Set(['v0.7', 'v0.8.1']); + const tagOptions = tags .map(tag => tag.name) - .filter(tag => tag.startsWith('v')); + .filter(tag => tag.startsWith('v') && !excludedTagVersions.has(tag)); this.versionOptions = this.versionOptions.concat(tagOptions); }, updated() { |
