diff options
author | Daniel Willmann <dwillmann@sysmocom.de> | 2019-06-19 14:08:21 +0200 |
---|---|---|
committer | Daniel Willmann <dwillmann@sysmocom.de> | 2019-06-19 14:08:21 +0200 |
commit | cb96e05a91de66e6270d4c38344e940d9bffd978 (patch) | |
tree | e59b3a793eb37ea76fd3d2f84854b0d284994717 | |
parent | f6387dc7660e4e46961c4f3820136357b65bbc0c (diff) |
manuals: Add script to regenerate vty/counter documentation
Change-Id: Ib5e0bd9ec430a6ef3dce6845d7def39720c54637
Depends: Ic5828957a29d4f317e1ebf4f03b5f5359f6250e8 (docker-playground.git)
Related: OS#1700
-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 0faebf3f4..a82f95d34 100644 --- a/doc/manuals/Makefile.am +++ b/doc/manuals/Makefile.am @@ -1,6 +1,7 @@ EXTRA_DIST = osmomgw-usermanual.adoc \ osmomgw-usermanual-docinfo.xml \ osmomgw-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 000000000..210d65c2a --- /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_MGW_BRANCH=$COMMIT ./regen_doc.sh osmo-mgw 4243 \ + "$MANUAL_DIR/chapters/counters_generated.adoc" \ + "$MANUAL_DIR/vty/mgw_vty_reference.xml" |