diff --git a/install_base.sh b/install_base.sh index ce3048e6ef320f26fb71c7c48debadbe17d4288d..96533b0f26a767fe31b2563524f883207e731462 100755 --- a/install_base.sh +++ b/install_base.sh @@ -207,14 +207,16 @@ for arg in "${args[@]}"; do handled=0 case "$arg" in - "--cleanup-android-sdk" | \ - "--install-android-tools" | \ - "--install-android-platform-tools" | \ - "--install-all") + "--cleanup-android-sdk" | "--install-android-platform-tools" ) devlib_params+=(${arg}) handled=1 ;;& + "--install-android-tools" | "--install-all" ) + devlib_params+=("--install-android-tools") + handled=1 + ;;& + "--install-doc-extras" | "--install-all") apt_packages+=(plantuml graphviz pandoc) # plantuml can be installed from the AUR