From ef80450c40b7af4c979f1697c1055033708becaf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Johannes=20M=C3=BCller?= Date: Tue, 1 Dec 2020 18:36:47 +0100 Subject: [PATCH] Use `name: nightly` in docs-versions.sh for HEAD (#9915) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * Use name: master in docs-versions.sh for HEAD At the time when this list is generated (at release), `src/VERSION` is typically equivalent to the most recent tagged version. It should just be called master and not present the development version (which may even change during its course). * Use "nightly" as label Co-authored-by: Jonne Haß Co-authored-by: Jonne Haß --- scripts/docs-versions.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/scripts/docs-versions.sh b/scripts/docs-versions.sh index f78b69875ac3..d31a1ac43c40 100755 --- a/scripts/docs-versions.sh +++ b/scripts/docs-versions.sh @@ -8,8 +8,7 @@ awk ' BEGIN { print "{" print " \"versions\": [" - getline current_version < "src/VERSION" - printf " {\"name\": \"" current_version "\", \"url\": \"/api/master/\", \"released\": false}" + printf " {\"name\": \"nightly\", \"url\": \"/api/master/\", \"released\": false}" } {