From b1fb9310035ea0414edc2fa6c7493d371d787b7a Mon Sep 17 00:00:00 2001
From: Xi Ruoyao <xry111@mengyan1223.wang>
Date: Tue, 6 Jul 2021 23:00:16 +0800
Subject: DejaGNU: build in seperate directory

Upstream recommends it.  And there are reports about test failure when
DejaGNU is build in source directory ("./configure").
---
 chapter08/dejagnu.xml | 12 +++++++++---
 1 file 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>
 
-- 
cgit v1.2.3-54-g00ecf