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 9a5d3a111b855701c381efc03a2578c6178f4cda..f70c5359c8664ed1008cddf7e90a8ce1f217aaba 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