diff options
| author | Julian Z <julianz@example.com> | 2019-02-03 16:11:40 -0800 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2019-02-04 23:39:18 +0100 |
| commit | 2568441cabc30f32b34bc36b5706b4d57f3a090a (patch) | |
| tree | 6d9c1fdfe608489cc73bd6c320624b278d9c8c77 /docs | |
| parent | 53400f5a4143a0908989ee0ca59862e02f779c1d (diff) | |
docs: use $(INSTALL_DATA) to install man page
Fixes #3518
Closes #3522
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am index 0183f1af5..dadf64f38 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -95,7 +95,7 @@ SUFFIXES = .1 .html .pdf # have changed. $(abs_builddir)/curl.1: if test "$(top_builddir)x" != "$(top_srcdir)x" -a -e "$(srcdir)/curl.1"; then \ - cp -fp "$(srcdir)/curl.1" $@; fi + $(INSTALL_DATA) "$(srcdir)/curl.1" $@; fi cd cmdline-opts && $(MAKE) html: $(HTMLPAGES) |