diff options
author | Xi Ruoyao <xry111@mengyan1223.wang> | 2021-08-04 00:09:52 +0800 |
---|---|---|
committer | Xi Ruoyao <xry111@mengyan1223.wang> | 2021-08-04 00:09:52 +0800 |
commit | 2a2225677242e22274c5446fc60bf2e4d2724cc8 (patch) | |
tree | 9bbb0fe275a03992b685448eeef3555496566126 | |
parent | 6094daeb7aa83eefa865872182eed1adfa410c73 (diff) |
bash: minor command style fix
-rw-r--r-- | chapter08/bash.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/chapter08/bash.xml b/chapter08/bash.xml index e2d32bba4..699a24e43 100644 --- a/chapter08/bash.xml +++ b/chapter08/bash.xml @@ -42,9 +42,9 @@ <para>Prepare Bash for compilation:</para> -<screen><userinput remap="configure">./configure --prefix=/usr \ +<screen><userinput remap="configure">./configure --prefix=/usr \ --docdir=/usr/share/doc/bash-&bash-version; \ - --without-bash-malloc \ + --without-bash-malloc \ --with-installed-readline</userinput></screen> <variablelist> |