diff options
Diffstat (limited to 'docs/check_pkgs')
| -rw-r--r-- | docs/check_pkgs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/docs/check_pkgs b/docs/check_pkgs index a4835a4b91..68fb76db12 100644 --- a/docs/check_pkgs +++ b/docs/check_pkgs @@ -2,12 +2,12 @@ silent_which () { which $1 1>/dev/null 2>/dev/null || { - echo "*************************************************" - echo "*************************************************" - echo "* WARNING: Package '$1' is required" - echo "* to build Xen documentation" - echo "*************************************************" - echo "*************************************************" + echo "=================================================" + echo "=================================================" + echo "= WARNING: Package '$1' is required" + echo "= to build Xen documentation" + echo "=================================================" + echo "=================================================" } which $1 1>/dev/null 2>/dev/null } |