| 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 | "$@"
|