diff options
author | Jelmer Vernooij <jelmer@samba.org> | 2009-01-21 16:18:06 +0100 |
---|---|---|
committer | Jelmer Vernooij <jelmer@samba.org> | 2009-01-21 16:18:06 +0100 |
commit | 4977d913ed54935383155f7b2045fd6679bacc33 (patch) | |
tree | cbd999112ec3ab851ea5be170cc0a453605c713f /release-scripts/build-docs | |
parent | f3ecb701335b1129947127d4c45eef970b66875c (diff) | |
parent | b319549f129b1c79afc9bfd4a84f2730b96d69a3 (diff) | |
download | samba-4977d913ed54935383155f7b2045fd6679bacc33.tar.gz samba-4977d913ed54935383155f7b2045fd6679bacc33.tar.bz2 samba-4977d913ed54935383155f7b2045fd6679bacc33.zip |
Merge branch 'master' of ssh://git.samba.org/data/git/samba
Diffstat (limited to 'release-scripts/build-docs')
-rwxr-xr-x | release-scripts/build-docs | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/release-scripts/build-docs b/release-scripts/build-docs index bde87f49bd..5da641ac69 100755 --- a/release-scripts/build-docs +++ b/release-scripts/build-docs @@ -1,8 +1,14 @@ #!/bin/sh +_exit() { + echo $@ + popd + exit 1 +} + DOCSRCDIR=`dirname $0`/../docs-xml -cd $DOCSRCDIR || exit 1 +pushd $DOCSRCDIR || exit 1 git clean -d -x -f autoconf && \ @@ -11,21 +17,23 @@ autoconf && \ make release if [ $? != 0 ]; then - echo "Docs build failed!" - exit 1 + _exit "Docs build failed!" fi -mkdir ../docs +mkdir -p ../docs rsync -Ca --delete --exclude=.git output/ ../docs/ rsync -Ca --exclude=.svn registry ../docs/ rsync -Ca --exclude=.svn archives/ ../docs/ -cd ../docs || exit 1 +cd ../docs || _exit "Error changing dir to ${DOCSDIR}/../docs/" + /bin/rm -rf test.pdf Samba4*pdf htmldocs/Samba4* htmldocs/test mv manpages-3 manpages mv htmldocs/manpages-3 htmldocs/manpages -cd ../docs-xml || exit 1 +cd ../docs-xml || _exit "Error changing dir to ${DOCSDIR}/../docs-xml/" make distclean +echo "Success" +popd exit |