diff --git a/scripts/fetch_documentation.sh b/scripts/fetch_documentation.sh --- a/scripts/fetch_documentation.sh +++ b/scripts/fetch_documentation.sh @@ -198,4 +198,13 @@ pushd "${SRC_DIR}" git checkout master ${SCRIPT_DIR}/fetch_markdown_files.sh "${SRC_DIR}" + +# If the release notes file for the latest release isn't archived yet, make the +# latest release notes available for that version number. This temporary copy +# will be replaced once the release notes are archived. +ABC_MD_DOCS="${TOPLEVEL}"/abc_md_docs +LATEST_RELEASE_NOTES="${ABC_MD_DOCS}/doc/release-notes/release-notes-${RELEASE_VERSIONS[0]}.md" +if [ ! -f "${LATEST_RELEASE_NOTES}" ]; then + cp "${ABC_MD_DOCS}/doc/release-notes.md" "${LATEST_RELEASE_NOTES}" +fi popd