#!/bin/sh -e

DESTDIR=$1 PREFIX=/usr redo install