#!/bin/sh cd $(mktemp -d) export INFOPATH=$(pwd) cat > a.texi < a.de.texi <