1#!/bin/sh -e 2autoconf -f 3( cd tools 4 autoconf -f 5 autoheader 6) 7( cd stubdom 8 autoconf -f 9) 10( cd docs 11 autoconf -f 12) 13