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