If PATH_INFO contains a complete and correct path to a manual page

[mandoc.git] / configure

diff --git a/configure b/configure
index afc916f5b786599c73f04060e1e91ee462461f23..21997fcc208389194ef726db6be63e668bea9996 100755 (executable)
--- a/configure
+++ b/configure
@@ -16,8 +16,8 @@
 
 set -e
 
-[ -e config.log ] && mv config.log config.log.old
-[ -e config.h   ] && mv config.h config.h.old
+[ -w config.log ] && mv config.log config.log.old
+[ -w config.h   ] && mv config.h config.h.old
 
 # Output file descriptor usage:
 # 1 (stdout): config.h, Makefile.local
@@ -102,7 +102,7 @@ INSTALL_DATA=
 
 # --- manual settings from configure.local -----------------------------
 
-if [ -e ./configure.local ]; then
+if [ -r ./configure.local ]; then
        echo "configure.local: reading..." 1>&2
        echo "configure.local: reading..." 1>&3
        cat ./configure.local 1>&3
@@ -339,6 +339,7 @@ __HEREDOC__
 
 if [ ${HAVE_ERR} -eq 0 ]; then
        echo "extern    void      err(int, const char *, ...);"
+       echo "extern    void      errx(int, const char *, ...);"
        echo "extern    void      warn(const char *, ...);"
        echo "extern    void      warnx(const char *, ...);"
 fi