From 998838096e6e5cd302838f4d672010784eb2f219 Mon Sep 17 00:00:00 2001 From: Clara Negrescu Date: Wed, 24 Jun 2020 10:12:35 +0200 Subject: Script for building documentation to be used in ELTF Change-Id: Ie387263e0fe6b4ad7d3efdafda9e74534a144904 --- doc/build.sh | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100755 doc/build.sh diff --git a/doc/build.sh b/doc/build.sh new file mode 100755 index 0000000..699e31d --- /dev/null +++ b/doc/build.sh @@ -0,0 +1,19 @@ +#!/bin/bash +set -e + +# Change PATH environment variable +export PATH=/rdtools/docbook/jdk1.6.0_45/bin:/rdtools/docbook/fop-2.1:$PATH + +# Get script arguments +docs_path=$1 +if [ "$docs_path" = "" ] +then + echo " usage: build.sh " + exit +fi + +# Build documentation +echo make dist BOOK_DIST_DIR=${docs_path} BOOK_DIST_ECLIPSE=yes +make dist BOOK_DIST_DIR=${docs_path} BOOK_DIST_ECLIPSE=yes + +echo "Build documentation was successful. Documentation can be found here ${docs_path}" -- cgit v1.2.3-54-g00ecf