From b23eb8f3300efe9796179effa724ffd4e3930d73 Mon Sep 17 00:00:00 2001 From: Jose Diaz-Gonzalez Date: Sat, 10 Sep 2022 16:01:29 -0400 Subject: [PATCH] debug: output the current version file for debugging --- contrib/build-docs | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/contrib/build-docs b/contrib/build-docs index 931dc1b43..932b14c5a 100755 --- a/contrib/build-docs +++ b/contrib/build-docs @@ -123,7 +123,13 @@ main() { done done - python contrib/sort-mkdocs-versions + echo "====> Rebuild versions" + if [[ -f "tmp/docs-build/versions.json" ]]; then + sed "s/^/ /" "tmp/docs-build/versions.json" + python contrib/sort-mkdocs-versions + else + echo " No version file exists" + fi echo "====> Cleanup main repo" rm -rf docs