make  HOME="$INSTALL_ROOT/usr"  install  &&
if  [[  $GIT_DOCS  ]];  then
  make  -C  Documentation HOME="$INSTALL_ROOT/usr/share"  install
fi
