#!/bin/bash

hvbuild()
{
    ${HVMAKE} all3
    ${HVMAKE} DEST_HOME=/usr \
        DEST_MAN=/usr/share/man install
}