From fae41172ed74d59b12dce87fad3c584b15676ea3 Mon Sep 17 00:00:00 2001 From: Max Gautier Date: Sun, 19 May 2024 11:52:22 +0200 Subject: [PATCH] gen_docs_sidebar: redirect output to sidebar.md as part of the script The script should be self-sufficient (with no need to manually specify a redirection). This makes it easier to run it as part of pre-commit and CI. --- scripts/gen_docs_sidebar.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/gen_docs_sidebar.sh b/scripts/gen_docs_sidebar.sh index c7e0d29bf..2b354b54f 100755 --- a/scripts/gen_docs_sidebar.sh +++ b/scripts/gen_docs_sidebar.sh @@ -8,6 +8,7 @@ # The script will ignore any files that are not markdown files. # Usage: bash scripts/gen_docs_sidebar.sh > docs/_sidebar.md +{ echo "* [Readme](/)" for folder in $(find docs/*/ | sort -f); do @@ -29,3 +30,4 @@ for folder in $(find docs/*/ | sort -f); do done fi done +} > docs/_sidebar.md