diff options
| -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. |