diff --git a/doc/fr/.presentation-2016-06-03.odp b/doc/fr/.presentation-2016-06-03.odp new file mode 100644 index 0000000000000000000000000000000000000000..d3d2febddd4ae328d7308f23dad3806b724b5692 Binary files /dev/null and b/doc/fr/.presentation-2016-06-03.odp differ diff --git a/doc/fr/presentation-2016-06-03.odp b/doc/fr/presentation-2016-06-03.odp deleted file mode 100644 index 7da7aff702b5314487fcf96c7ba54b1cd462e24f..0000000000000000000000000000000000000000 Binary files a/doc/fr/presentation-2016-06-03.odp and /dev/null differ diff --git a/install.sh b/install.sh index 1d5039e51da674c3030acc364c46d44c5f47ceec..960563ee9bcd9d72037a0d594d0810cf14e296c0 100755 --- a/install.sh +++ b/install.sh @@ -67,8 +67,8 @@ install_from_github() { do_install() { - if ! is_installed "curl"; then - echo "=> curl is not available. You will likely need to install 'curl' package." + if [! is_installed "curl"] | [! is_installed "wget"]; then + echo "=> curl is not available. You will likely need to install 'curl' or 'wget' package." exit 1 fi if ! is_installed "unzip"; then