diff options
Diffstat (limited to 'chapter05/dejagnu-inst.xml')
| -rw-r--r-- | chapter05/dejagnu-inst.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/chapter05/dejagnu-inst.xml b/chapter05/dejagnu-inst.xml index e9a172670..6f6256b8c 100644 --- a/chapter05/dejagnu-inst.xml +++ b/chapter05/dejagnu-inst.xml @@ -5,11 +5,11 @@ <para>Prepare DejaGnu to be compiled:</para> -<para><screen><userinput>./configure --prefix=/tools</userinput></screen></para> +<screen><userinput>./configure --prefix=/tools</userinput></screen> <para>Build and install the package:</para> -<para><screen><userinput>make install</userinput></screen></para> +<screen><userinput>make install</userinput></screen> </sect2> |