From: Michael Kaufmann <mail@michael-kaufmann.ch>
Date: Sat, 28 Oct 2023 08:24:25 +0000 (+0200)
Subject: docs: preserve the modification date when copying the prebuilt man page
X-Git-Tag: curl-8_5_0~142
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=2c8f4c87e1871e765e9406e9181f0f80207a3b1f;p=thirdparty%2Fcurl.git

docs: preserve the modification date when copying the prebuilt man page

The previously built man page "curl.1" must be copied with the original
modification date, otherwise the man page is never updated.

This fixes a bug that has been introduced with commit 2568441cab.

Reviewed-by: Dan Fandrich
Reviewed-by: Daniel Stenberg

Closes #12199
---

diff --git a/docs/Makefile.am b/docs/Makefile.am
index 5454e83303..9190b44113 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -111,7 +111,8 @@ SUFFIXES = .1 .html .pdf
 # have changed.
 $(abs_builddir)/curl.1:
 	if test "$(top_builddir)x" != "$(top_srcdir)x" -a -e "$(srcdir)/curl.1"; then \
-		$(INSTALL_DATA) "$(srcdir)/curl.1" $@; fi
+		$(INSTALL_DATA) "$(srcdir)/curl.1" $@ \
+		&& touch -r "$(srcdir)/curl.1" $@; fi
 	cd cmdline-opts && $(MAKE)
 
 html: $(HTMLPAGES)