| Daniel Willmann | d62d401 | 2019-06-17 16:50:33 +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_HLR_BRANCH=$COMMIT ./regen_doc.sh osmo-hlr 4258 \ | ||||
| 16 | "$MANUAL_DIR/chapters/counters_generated.adoc" \ | ||||
| 17 | "$MANUAL_DIR/vty/hlr_vty_reference.xml" | ||||