#!/bin/sh -ex

./configure --disable-man
