From a794ff4f461e0929ed39cadf087dc9d092c0a78b Mon Sep 17 00:00:00 2001
From: Daniel Willmann <dwillmann@sysmocom.de>
Date: Mon, 17 Jun 2019 16:45:13 +0200
Subject: [PATCH] manuals: Add script to update vty/counter documentation from
 docker

Change-Id: I3f5573f81460b40d4606fbcf0febcfd078a7bdca
Related: OS#1700
---
 doc/manuals/Makefile.am  |  1 +
 doc/manuals/regen_doc.sh | 17 +++++++++++++++++
 2 files changed, 18 insertions(+)
 create mode 100755 doc/manuals/regen_doc.sh

diff --git a/doc/manuals/Makefile.am b/doc/manuals/Makefile.am
index 2ce6a0a7a..3b50d4e9a 100644
--- a/doc/manuals/Makefile.am
+++ b/doc/manuals/Makefile.am
@@ -1,6 +1,7 @@
 EXTRA_DIST = osmomsc-usermanual.adoc \
     osmomsc-usermanual-docinfo.xml \
     osmomsc-vty-reference.xml \
+    regen_doc.sh \
     chapters \
     images \
     vty
diff --git a/doc/manuals/regen_doc.sh b/doc/manuals/regen_doc.sh
new file mode 100755
index 000000000..55cda5c4c
--- /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_MSC_BRANCH=$COMMIT ./regen_doc.sh osmo-msc 4254 \
+	"$MANUAL_DIR/chapters/counters_generated.adoc" \
+	"$MANUAL_DIR/vty/msc_vty_reference.xml"