1 files changed, 19 insertions, 0 deletions

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 <build_doc_path>"
+    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}"