diff options
author | Lars Wirzenius <liw@liw.fi> | 2013-04-08 21:13:39 +0100 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2013-04-08 21:13:39 +0100 |
commit | c0b16ec21980a40baf3183d5a941bd68039469ea (patch) | |
tree | 3a3c1bc1c482e3d6c1ac394e59d5190632065419 | |
parent | e73a38dac170532e65d2751ff04cb56f3d9c33ac (diff) | |
download | jenkinstool-c0b16ec21980a40baf3183d5a941bd68039469ea.tar.gz |
Add publish-docs
-rwxr-xr-x | publish-docs | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/publish-docs b/publish-docs new file mode 100755 index 0000000..ab0622a --- /dev/null +++ b/publish-docs @@ -0,0 +1,38 @@ +#!/bin/sh + +set -eu + +build_docs() +{ + local srcdir="$1" + local log="$(mktemp)" + + set -eu + cd "$srcdir"/doc + if make dirhtml > "$log" 2>&1 + then + echo "$srcdir/doc/_build/dirhtml" + rm -f "$log" + else + cat "$log" 1>&2 + rm -f "$log" + exit 1 + fi +} + +tarballurl="$1" +rsync_target="$2" + +tempdir="$(mktemp -d)" +trap 'rm -rf "$tempdir"' EXIT INT + +echo "Downloading and unpacking sources" +wget -O- -q "$tarballurl" | tar -C "$tempdir" -xzf - + +echo "Building docs" +docdir=$(build_docs "$tempdir"/*/.) + +echo "Uploading docs" +rsync -ahHS --delete "$docdir/." "$rsync_target/." + +#find "$tempdir" -mindepth 1 -delete |