]> git.ipfire.org Git - thirdparty/curl.git/commit
projects / thirdparty / curl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f3e9d5) | patch
docs: preserve the modification date when copying the prebuilt man page
authorMichael Kaufmann <mail@michael-kaufmann.ch>
Sat, 28 Oct 2023 08:24:25 +0000 (10:24 +0200)
committerMichael Kaufmann <mail@michael-kaufmann.ch>
Sat, 4 Nov 2023 18:39:48 +0000 (19:39 +0100)
commit2c8f4c87e1871e765e9406e9181f0f80207a3b1f
treeaaa2475fd32b24786fe9c259242a0850f550a3cftree
parent0f3e9d5723e08c075c091a06312324339178682acommit | diff
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
docs/Makefile.am diff | blob | blame | history
Mirror of https://github.com/curl/curl.git