From 23e83d2372aa15303b94846ab6ef94e2b8f3df3d Mon Sep 17 00:00:00 2001 From: Russ Allbery Date: Wed, 8 Mar 2006 20:20:18 +0000 Subject: [PATCH] STABLE14-man-page-bash-bashish-20060308 if ! command is a bashish. Use if command ; then : ; else instead. (cherry picked from commit da878c2b9d11471b3e59fc9fe0694a5e23e373c2) --- doc/man-pages/generate-man | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/doc/man-pages/generate-man b/doc/man-pages/generate-man index 8e4fc4b58..1ad0e3248 100755 --- a/doc/man-pages/generate-man +++ b/doc/man-pages/generate-man @@ -13,11 +13,15 @@ if [ ! -d pod1 ] ; then exit 1 fi -if ! pod2man pod1/afs.pod > /dev/null ; then +if pod2man pod1/afs.pod > /dev/null ; then + : +else echo 'pod2man not found, skipping man page generation' >&2 exit 1 fi -if ! perl -e 'use Pod::Man 2.04' > /dev/null 2>&1 ; then +if perl -e 'use Pod::Man 2.04' > /dev/null 2>&1 ; then + : +else echo 'Pod::Man is older than the recommended version of 2.04 or later' >&2 echo 'Continuing with man page generation anyway' >&2 fi -- 2.39.5