1set -e -x
2
3ETCDIR="$DSTROOT"/private/etc
4MISCDIR="$DSTROOT"/usr/share/misc
5
6install -d -o root -g wheel -m 0755 "$MISCDIR"
7install -c -o root -g wheel -m 0644 \
8	"$SRCROOT"/mail/misc/mail.help \
9	"$SRCROOT"/mail/misc/mail.tildehelp \
10	"$MISCDIR"
11install -d -o root -g wheel -m 0755 "$ETCDIR"
12install -c -o root -g wheel -m 0644 \
13	"$SRCROOT"/mail/misc/mail.rc \
14	"$ETCDIR"
15