From 91b727b9967cc4b1c872dc357260d3ae65063165 Mon Sep 17 00:00:00 2001 From: bergmann89 Date: Tue, 22 Sep 2015 21:04:33 +0200 Subject: [PATCH] * added docu to relase build script --- library/build_release.sh | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/library/build_release.sh b/library/build_release.sh index 7be72ba..dae4ad7 100755 --- a/library/build_release.sh +++ b/library/build_release.sh @@ -8,6 +8,7 @@ SCRIPTDIR=$(dirname $SCRIPTPATH) git="git" HAS_GIT=true HEADER_DIR="$SCRIPTDIR/header" +DOCU_DIR="$SCRIPTDIR/../doc" INC_MAJOR=false INC_MINOR=false INC_BUGFIX=false @@ -150,10 +151,12 @@ function BuildConfig() mkdir -p $BINDIR mv "$BINNAME" "$BINDIR/" || { log "unable to copy linked binary"; cleaupAndExit 3; } # use this to copy data folder instead of data archive: cp -R --preserve=links data $BINDIR || { log "unable to copy data folder"; cleaupAndExit 4; } - cp -r "$HEADER_DIR" "$BINDIR" || { log "unable to copy header files"; cleaupAndExit 4; } + cp -r "$HEADER_DIR" "$BINDIR" || { log "unable to copy header files"; cleaupAndExit 4; } + cp -r "$DOCU_DIR" "$BINDIR/docu" || { log "unable to copy documentation files"; cleaupAndExit 5; } + pushd $ZIPDIR rm -rf $ZIPPATH - zip -r $ZIPPATH ./* || { log "unable to create zip archive"; cleaupAndExit 5; } + zip -r $ZIPPATH ./* || { log "unable to create zip archive"; cleaupAndExit 6; } popd }