1 | #!/usr/bin/env bash
|
2 | #
|
3 | # Usage:
|
4 | # ./release-patch.sh <function name>
|
5 |
|
6 | set -o nounset
|
7 | set -o pipefail
|
8 | set -o errexit
|
9 |
|
10 | version-0.10.0() {
|
11 | cp -v \
|
12 | _release/VERSION/doc/{idioms,error-handling,oil-language-tour}.html \
|
13 | ../oilshell.org__deploy/release/0.10.0/doc/
|
14 |
|
15 | cp -v \
|
16 | _release/VERSION/web/*.css \
|
17 | ../oilshell.org__deploy/release/0.10.0/web/
|
18 | }
|
19 |
|
20 | version-0.11.0() {
|
21 | cp -v \
|
22 | _release/VERSION/doc/{idioms,upgrade-breakage,hay}.html \
|
23 | ../oilshell.org__deploy/release/0.11.0/doc/
|
24 | }
|
25 |
|
26 | "$@"
|