1set -e
 2
 3sh scripts/fetch-git.sh "$@"
 4
 5. ./paths.sh
 6dir=$1
 7shift
 8
 9cd "$distdir"
10
11if ! sh "$basedir/scripts/checksum.sh" -c "$basedir/$dir/sha256" 2>/dev/null ; then
12	curl -L -O -K "$basedir/$dir/url"
13	sh "$basedir/scripts/checksum.sh" -c "$basedir/$dir/sha256"
14fi
15
16cd "$basedir/$dir"
17rm -rf src/man
18
19read -r _ archive <sha256
20sh "$basedir/scripts/extract.sh" "$distdir/$archive" -s ',^\.,src/man,'