diff --git a/docs/check_pkgs b/docs/check_pkgs index 25a624ef24..a4835a4b91 100644 --- a/docs/check_pkgs +++ b/docs/check_pkgs @@ -1,14 +1,14 @@ silent_which () { - if ! `which $1 1>/dev/null 2>/dev/null`; then + which $1 1>/dev/null 2>/dev/null || { echo "*************************************************" echo "*************************************************" echo "* WARNING: Package '$1' is required" echo "* to build Xen documentation" echo "*************************************************" echo "*************************************************" - fi + } which $1 1>/dev/null 2>/dev/null }