| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950 |
- #!/bin/sh
- # SPDX-License-Identifier: GPL-3.0-or-later
- # Copyright (c) 2012-2025 Daniele Bartolini et al.
- if [ $# -gt 1 ]; then
- echo "Usage: $0 [version]"
- echo ""
- exit;
- fi
- VERSION=$1
- if [ -z "${VERSION}" ]; then
- VERSION=$(git tag | tail -n 1)
- elif [ "${VERSION}" = "master" ]; then
- VERSION="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}"
- mkdir html/"${VERSION}"
- cp -r build/docs/html/* html/"${VERSION}"
- # Update 'latest' only in stable releases.
- if [ "${VERSION}" != "master" ]; then
- rm html/latest && ln -s html/"${VERSION}" html/latest
- git add html/latest
- fi
- # Commit changes.
- git add html/"${VERSION}"
- git commit -m "Docs ${VERSION}"
|