  install  ping  ping6  $INSTALL_ROOT/usr/bin  &&
  install  doc/ping.8  $INSTALL_ROOT/usr/share/man/man8/ping.8   &&
  install  doc/ping.8  $INSTALL_ROOT/usr/share/man/man8/ping6.8
