diff options
Diffstat (limited to 'chapter05/dejagnu.xml')
| -rw-r--r-- | chapter05/dejagnu.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter05/dejagnu.xml b/chapter05/dejagnu.xml index 73218be46..dc37b94de 100644 --- a/chapter05/dejagnu.xml +++ b/chapter05/dejagnu.xml @@ -13,7 +13,7 @@ Estimated required disk space: &dejagnu-compsize-tools;</screen> <sect2> <title>Installation of DejaGnu</title> -<para>Prepare DejaGnu to be compiled:</para> +<para>Prepare DejaGnu for compilation:</para> <screen><userinput>./configure --prefix=/tools</userinput></screen> |