diff options
| author | Daniel Willmann <dwillmann@sysmocom.de> | 2019-06-17 16:50:33 +0200 |
|---|---|---|
| committer | Daniel Willmann <dwillmann@sysmocom.de> | 2019-06-17 17:11:35 +0200 |
| commit | d62d401d07bd8b86c83ebfc77eb8ee97e0545f91 (patch) | |
| tree | 7144f6913dac046d1b5f35ce0849084694cb4b1b | |
| parent | 103c11bd24662e124f7f6c539c0d1c606a67167c (diff) | |
manuals: Add script to update vty/counter documentation from docker
Related: OS#1700
Change-Id: Id57c34214396b02fafa55da223764748086290e8
| -rw-r--r-- | doc/manuals/Makefile.am | 1 | ||||
| -rwxr-xr-x | doc/manuals/regen_doc.sh | 17 |
2 files changed, 18 insertions, 0 deletions
diff --git a/doc/manuals/Makefile.am b/doc/manuals/Makefile.am index 9e1295a..8a47f8a 100644 --- a/doc/manuals/Makefile.am +++ b/doc/manuals/Makefile.am @@ -4,6 +4,7 @@ EXTRA_DIST = example_subscriber_add_update_delete.vty \ osmohlr-usermanual.adoc \ osmohlr-usermanual-docinfo.xml \ osmohlr-vty-reference.xml \ + regen_doc.sh \ chapters \ vty diff --git a/doc/manuals/regen_doc.sh b/doc/manuals/regen_doc.sh new file mode 100755 index 0000000..2e9194b --- /dev/null +++ b/doc/manuals/regen_doc.sh @@ -0,0 +1,17 @@ +#!/bin/sh -x + +if [ -z "$DOCKER_PLAYGROUND" ]; then + echo "You need to set DOCKER_PLAYGROUND" + exit 1 +fi + +SCRIPT=$(realpath "$0") +MANUAL_DIR=$(dirname "$SCRIPT") + +COMMIT=${COMMIT:-$(git log -1 --format=format:%H)} + +cd "$DOCKER_PLAYGROUND/scripts" || exit 1 + +OSMO_HLR_BRANCH=$COMMIT ./regen_doc.sh osmo-hlr 4258 \ + "$MANUAL_DIR/chapters/counters_generated.adoc" \ + "$MANUAL_DIR/vty/hlr_vty_reference.xml" |