#!/bin/sh -ex cur=$(pwd) tmp=$(mktemp -d) release=$1 [ -n "$release" ] git clone . $tmp/govpn-$release cd $tmp/govpn-$release git checkout $release rm -fr .git find . -name .gitignore -delete cat > doc/download.texi <