diff options
Diffstat (limited to 'chapter06/module-init-tools.xml')
| -rw-r--r-- | chapter06/module-init-tools.xml | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/chapter06/module-init-tools.xml b/chapter06/module-init-tools.xml index bcdcfff5d..0c2be1881 100644 --- a/chapter06/module-init-tools.xml +++ b/chapter06/module-init-tools.xml @@ -53,7 +53,20 @@ make distclean</userinput></screen> <para>Install the package:</para> -<screen><userinput>make install</userinput></screen> +<screen><userinput>make INSTALL=install install</userinput></screen> + + <variablelist> + <title>The meaning of the make parameter:</title> + <varlistentry> + <term><parameter>INSTALL=install</parameter></term> + <listitem> + <para>Normally, make install will not install the binaries if they + already exist. This option overrides that behavior by calling + <command>install</command> instead of using the default wrapper + script.</para> + </listitem> + </varlistentry> + </variablelist> </sect2> |