diff options
Diffstat (limited to 'chapter08/dejagnu.xml')
| -rw-r--r-- | chapter08/dejagnu.xml | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/chapter08/dejagnu.xml b/chapter08/dejagnu.xml index da6a44aa9..169ad4b50 100644 --- a/chapter08/dejagnu.xml +++ b/chapter08/dejagnu.xml @@ -42,11 +42,17 @@ <sect2 role="installation"> <title>Installation of DejaGNU</title> + <para>The upstream recommends building DejaGNU in a dedicated build + directory:</para> + +<screen><userinput remap="pre">mkdir -v build +cd build</userinput></screen> + <para>Prepare DejaGNU for compilation:</para> -<screen><userinput remap="configure">./configure --prefix=/usr -makeinfo --html --no-split -o doc/dejagnu.html doc/dejagnu.texi -makeinfo --plaintext -o doc/dejagnu.txt doc/dejagnu.texi</userinput></screen> +<screen><userinput remap="configure">../configure --prefix=/usr +makeinfo --html --no-split -o doc/dejagnu.html ../doc/dejagnu.texi +makeinfo --plaintext -o doc/dejagnu.txt ../doc/dejagnu.texi</userinput></screen> <para>Build and install the package:</para> |