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 @@ Installation of DejaGNU + The upstream recommends building DejaGNU in a dedicated build + directory: + +mkdir -v build +cd build + Prepare DejaGNU for compilation: -./configure --prefix=/usr -makeinfo --html --no-split -o doc/dejagnu.html doc/dejagnu.texi -makeinfo --plaintext -o doc/dejagnu.txt doc/dejagnu.texi +../configure --prefix=/usr +makeinfo --html --no-split -o doc/dejagnu.html ../doc/dejagnu.texi +makeinfo --plaintext -o doc/dejagnu.txt ../doc/dejagnu.texi Build and install the package: