#!/bin/sh -ex texi=$(mktemp) cat > $texi < download.texi < $texi < $texi <