File: release_docs

package info (click to toggle)
python-milc 1.9.1-1
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 788 kB
  • sloc: python: 1,868; sh: 55; makefile: 3
file content (15 lines) | stat: -rwxr-xr-x 394 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
#!/usr/bin/env bash
# Script to build and release the current documentation

set -e
set -x

if [ "$1" = "devel" ]; then
	mike deploy --push devel
elif [ "$1" = "latest" ]; then
	RELEASE_VERSION=$(grep 'current_version = ' setup.cfg | grep -o '[0-9].*' | cut -f 1,2 -d .)
	mike deploy --push --update-aliases $RELEASE_VERSION latest
else
	echo "*** You must specify devel or latest!"
	exit 1
fi