Daniel Willmann | a794ff4 | 2019-06-17 16:45:13 +0200 | [diff] [blame] | 1 | #!/bin/sh -x |
2 | |||||
3 | if [ -z "$DOCKER_PLAYGROUND" ]; then | ||||
4 | echo "You need to set DOCKER_PLAYGROUND" | ||||
5 | exit 1 | ||||
6 | fi | ||||
7 | |||||
8 | SCRIPT=$(realpath "$0") | ||||
9 | MANUAL_DIR=$(dirname "$SCRIPT") | ||||
10 | |||||
11 | COMMIT=${COMMIT:-$(git log -1 --format=format:%H)} | ||||
12 | |||||
13 | cd "$DOCKER_PLAYGROUND/scripts" || exit 1 | ||||
14 | |||||
15 | OSMO_MSC_BRANCH=$COMMIT ./regen_doc.sh osmo-msc 4254 \ | ||||
16 | "$MANUAL_DIR/chapters/counters_generated.adoc" \ | ||||
17 | "$MANUAL_DIR/vty/msc_vty_reference.xml" |