diff options
| author | Michael Adam <obnox@samba.org> | 2009-01-21 15:10:10 +0100 |
|---|---|---|
| committer | Michael Adam <obnox@samba.org> | 2009-01-21 15:12:18 +0100 |
| commit | b319549f129b1c79afc9bfd4a84f2730b96d69a3 (patch) | |
| tree | 07a5abb6daf7312d10e31bd5ec71526f67b699b8 /release-scripts | |
| parent | 5e21fc3506f2ba7b1135b1acad2697dfb86b5df0 (diff) | |
| download | samba-b319549f129b1c79afc9bfd4a84f2730b96d69a3.tar.gz samba-b319549f129b1c79afc9bfd4a84f2730b96d69a3.tar.bz2 samba-b319549f129b1c79afc9bfd4a84f2730b96d69a3.zip | |
build-docs: cleanup exit of the script
exit in the directory where it was called using pushd/popd.
Michael
Diffstat (limited to 'release-scripts')
| -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 |