#!/bin/sh -ex cur=$(pwd) tmp=$(mktemp -d) release=$1 [ -n "$release" ] git clone . $tmp/govpn-$release cat > $tmp/includes < doc/download.texi <