#!/bin/sh -e ./configure \ --prefix=/usr make make install # Remove HTML documentation. rm -rf "$1/usr/share/doc"