diff options
Diffstat (limited to 'man/Makefile.am')
| -rw-r--r-- | man/Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index 017c3e2b7..17b3415ba 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -154,7 +154,10 @@ mapped_name = `echo $*|sed 's/install/ginstall/; s/test/[/'` # functions like echo, false, printf, pwd. .x.1: @case $(PERL) in \ - *"/missing "*) ;; \ + *"/missing "*) \ + echo 'WARNING: cannot update man page $@ since perl is missing' \ + 'or inadequate' 1>&2 \ + ;; \ *) \ rm -f $@ \ && { echo "Updating man page $@"; \ |