| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354 |
- #!/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-}
- VERSION_PATCH=$(crown_version_patch)
- if [ -z "${VERSION}" ]; then
- VERSION=$(crown_version)
- 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
- # Build docs.
- make clean
- make docs
- # Update gh-pages branch.
- git checkout gh-pages
- rm -rf 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" ] && [ "${VERSION_PATCH}" -eq 0 ]; then
- rm -f html/latest && ln -s html/"${VERSION_DIR}" html/latest
- git add html/latest
- fi
- # Commit changes.
- git add html/"${VERSION_DIR}"
- git commit -m "Docs ${VERSION}"
|