From f321eaa2a97111fe3840f0f5d16368abc71a0a5a Mon Sep 17 00:00:00 2001 From: classabbyamp Date: Mon, 22 Aug 2022 15:28:47 -0400 Subject: [PATCH] Manual.md: update description of make_install_args make_install_args is not set to anything by default. STRIP=true PREFIX=/usr prefix=/usr DESTDIR=${DESTDIR} is set outside of make_install_args for gnu-makefile only. --- Manual.md | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/Manual.md b/Manual.md index f22e878277a..c24be6e90a7 100644 --- a/Manual.md +++ b/Manual.md @@ -545,10 +545,8 @@ build methods. Unset by default. `${build_style}` is set to `configure`, `gnu-configure` or `gnu-makefile` build methods. Unset by default. -- `make_install_args` The arguments to be passed in to `${make_cmd}` at the `install-destdir` -phase if `${build_style}` is set to `configure`, `gnu-configure` or -`gnu-makefile` build methods. By default set to -`PREFIX=/usr DESTDIR=${DESTDIR}`. +- `make_install_args` The arguments to be passed in to `${make_cmd}` at the `install` +phase if `${build_style}` is set to `configure`, `gnu-configure` or `gnu-makefile` build methods. - `make_build_target` The build target. If `${build_style}` is set to `configure`, `gnu-configure` or `gnu-makefile`, this is the target passed to `${make_cmd}` in the build phase;