#!/bin/sh -ex

if [ -n "${DEB_HOST_GNU_TYPE:-}" ]; then
    CROSS_COMPILE="--host=$DEB_HOST_GNU_TYPE"
else
    CROSS_COMPILE=
fi

./configure --disable-man $CROSS_COMPILE
