blob: 699e31d944c72e7d3a5a023f895318d05a99207e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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}"
|
