install -o root  -g root  -m 755  -p type1inst      $INSTALL_ROOT/usr/bin  &&
install -o root  -g root  -m 755  -p t1embed        $INSTALL_ROOT/usr/bin  &&
install -o root  -g root  -m 644  -p type1inst.man  $INSTALL_ROOT/usr/share/man/man1