diff options
Diffstat (limited to 'chapter05/texinfo.xml')
| -rw-r--r-- | chapter05/texinfo.xml | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/chapter05/texinfo.xml b/chapter05/texinfo.xml index b776ed741..cea7779e8 100644 --- a/chapter05/texinfo.xml +++ b/chapter05/texinfo.xml @@ -45,18 +45,19 @@ <para>Prepare Texinfo for compilation:</para> -<screen><userinput>./configure --prefix=/tools</userinput></screen> +<screen><userinput remap="configure">./configure --prefix=/tools</userinput></screen> <para>Compile the package:</para> -<screen><userinput>make</userinput></screen> +<screen><userinput remap="make">make</userinput></screen> - <para>To test the results, issue: - <userinput>make check</userinput>.</para> + <para>To test the results, issue:</para> + +<screen><userinput remap="test">make check</userinput></screen> <para>Install the package:</para> -<screen><userinput>make install</userinput></screen> +<screen><userinput remap="install">make install</userinput></screen> </sect2> |