#!/bin/sh -ex mkinfo() { ${MAKEINFO:-makeinfo} --plaintext \ --set-customization-variable ASCII_PUNCTUATION=1 \ -D "VERSION `cat VERSION`" $@ } texi=$(mktemp) cat > $texi < download.texi < $texi < $texi <