add html help script for linux

orion-project · Nov 27, 2021 · fe0c8e7 · fe0c8e7
1 parent bf758c8
commit fe0c8e7
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/help/make_html.sh b/help/make_html.sh
@@ -0,0 +1,16 @@
+#! /bin/bash
+
+echo "Build application manual (HTML version)."
+
+SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+. ${SCRIPT_DIR}/../scripts/helpers.sh
+cd ${SCRIPT_DIR}/..
+
+SOURCE_DIR=${SCRIPT_DIR}
+TARGET_DIR=${SCRIPT_DIR}/../out/help_html
+
+print_header "Building html files..."
+python3 -m sphinx -b html ${SOURCE_DIR} ${TARGET_DIR}
+exit_if_fail
+
+print_done