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