diff options
| author | Xi Ruoyao <xry111@xry111.site> | 2023-11-03 14:38:55 +0800 |
|---|---|---|
| committer | Xi Ruoyao <xry111@xry111.site> | 2023-11-03 14:38:55 +0800 |
| commit | 93311f4abb72c8e053970ff6122d90c75ce5a3d7 (patch) | |
| tree | cef7c93fc70ffe0f6d48d35bf5888d1140637268 | |
| parent | 5f8327e63312e2cc4811e91da9e2eb47be79502d (diff) | |
gawk: "rm -f ..." is a command, not an envar
| -rw-r--r-- | chapter08/gawk.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter08/gawk.xml b/chapter08/gawk.xml index 71e295652..d8984b58e 100644 --- a/chapter08/gawk.xml +++ b/chapter08/gawk.xml @@ -66,7 +66,7 @@ make install</userinput></screen> <title>The meaning of the command:</title> <varlistentry> - <term><envar>rm -f /usr/bin/gawk-&gawk-version;</envar></term> + <term><command>rm -f /usr/bin/gawk-&gawk-version;</command></term> <listitem> <para>The building system will not recreate the hard link <filename>gawk-&gawk-version;</filename> if it already exists. |