#!/bin/sh -e
make EFIDIR=/boot/EFI efibootmgr
mkdir -p \
"$1/usr/bin" \
"$1/usr/share/man/man8"
cp -f src/efibootmgr "$1/usr/bin"
cp -f src/efibootmgr.8.in "$1/usr/share/man/man8/efibootmgr.8"