| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758 |
- #!/bin/sh
- # SPDX-License-Identifier: GPL-3.0-or-later
- # Copyright (c) 2012-2025 Daniele Bartolini et al.
- set -eu
- . scripts/dist/version.sh
- if [ $# -gt 1 ]; then
- echo "Usage: $0 [version]"
- echo ""
- exit;
- fi
- VERSION=${1-}
- if [ -z "${VERSION}" ]; then
- VERSION=$(git tag | tail -n 1)
- VERSION_DIR=v$(crown_version_major).$(crown_version_minor).0
- elif [ "${VERSION}" = "master" ]; then
- VERSION="master"
- VERSION_DIR="master"
- else
- echo "Invalid version name"
- exit 1
- fi
- echo "Docs \`${VERSION}\` will be released"
- echo "Continue? [y/N]"
- read -r answer
- if [ "${answer}" != "y" ] && [ "${answer}" != "Y" ]; then
- echo "Bye."
- exit;
- fi
- # Switch to desired tag.
- git checkout "${VERSION}"
- # Build docs.
- make clean
- make docs
- # Update gh-pages branch.
- git checkout gh-pages
- rm -r html/"${VERSION_DIR}"
- mkdir html/"${VERSION_DIR}"
- cp -r build/docs/html/* html/"${VERSION_DIR}"
- # Update 'latest' only in stable releases, excluding patches.
- if [ "${VERSION}" != "master" ] && [ "$(crown_version_patch)" -eq 0 ]; then
- rm -r html/latest
- mkdir html/latest
- cp -r build/docs/html/* html/latest
- git add html/latest
- fi
- # Commit changes.
- git add html/"${VERSION_DIR}"
- git commit -m "Docs ${VERSION}"
|