diff options
| author | Michael Kaufmann <mail@michael-kaufmann.ch> | 2023-10-28 10:24:25 +0200 |
|---|---|---|
| committer | Michael Kaufmann <mail@michael-kaufmann.ch> | 2023-11-04 19:39:48 +0100 |
| commit | 2c8f4c87e1871e765e9406e9181f0f80207a3b1f (patch) | |
| tree | aaa2475fd32b24786fe9c259242a0850f550a3cf | |
| parent | 0f3e9d5723e08c075c091a06312324339178682a (diff) | |
| download | curl-2c8f4c87e1871e765e9406e9181f0f80207a3b1f.tar.gz | |
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
| -rw-r--r-- | docs/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am index 5454e8330..9190b4411 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) |