default_install &&

if [[ "$REE_DOC" == "y" ]]; then
  make install-doc
fi
