From 50f33bf04ed7d10b65a7f877249032e1fc3254ab Mon Sep 17 00:00:00 2001
From: Robert Scheck <robert-scheck@users.noreply.github.com>
Date: Fri, 16 Sep 2022 09:44:00 +0200
Subject: [PATCH] Preserve file timestamps when using install(1) (#983)

- Preserve file timestamps when using `install`
- Use permissions `0644` rather than default `0755` for installing man
pages

The alternative calls of `cp` are using `cp -p` as well (if `install` is
unavailable).
---
 configure | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/configure b/configure
index b12500aa..11a4d7a2 100755
--- a/configure
+++ b/configure
@@ -461,12 +461,12 @@ else
 	type install 2>>/dev/null
 	ER=$?
 	if [ ${ER} -eq 0 ] ; then
-		INSTALL_PROGRAM="install"
-		INSTALL_MAN="install"
-		INSTALL_SCRIPT="install"
-		INSTALL_SHARED_LIB="install"
-		INSTALL_STATIC_LIB="install"
-		INSTALL_DATA="install"
+		INSTALL_PROGRAM="install -p"
+		INSTALL_MAN="install -p -m 0644"
+		INSTALL_SCRIPT="install -p"
+		INSTALL_SHARED_LIB="install -p"
+		INSTALL_STATIC_LIB="install -p"
+		INSTALL_DATA="install -p"
 		MKDIR="install -d"
 	else
 		INSTALL_PROGRAM="cp -pf"