publish-docs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
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