#!/bin/sh
S="$(dirname "$0")"
. "$S/redoconf/configure.sh"