From 6bf4be3b6b4d7ca993813e3765d2f5ea6e91cf13 Mon Sep 17 00:00:00 2001 From: jbu Date: Sun, 31 May 2015 20:57:33 +0200 Subject: [PATCH] Manual.md: Fix build_style desc for gnu-makefile --- Manual.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Manual.md b/Manual.md index c607a5656cd..b2b4290973f 100644 --- a/Manual.md +++ b/Manual.md @@ -407,20 +407,20 @@ set by default: `--prefix=/usr --sysconfdir=/etc --infodir=/usr/share/info --man By default set to `make`. - `make_build_args` The arguments to be passed in to `${make_cmd}` at the build phase if -`${build_style}` is set to `configure`, `gnu-configure` or `gnu_makefile` +`${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 +`gnu-makefile` build methods. By default set to `PREFIX=/usr DESTDIR=${DESTDIR}`. - `make_build_target` The target to be passed in to `${make_cmd}` at the build phase if -`${build_style}` is set to `configure`, `gnu-configure` or `gnu_makefile` +`${build_style}` is set to `configure`, `gnu-configure` or `gnu-makefile` build methods. Unset by default (`all` target). - `make_install_target` The target to be passed in to `${make_cmd}` at the `install-destdir` phase -if `${build_style}` is set to `configure`, `gnu-configure` or `gnu_makefile` +if `${build_style}` is set to `configure`, `gnu-configure` or `gnu-makefile` build methods. By default set to `install`. - `patch_args` The arguments to be passed in to the `patch(1)` command when applying