From 24fe054b4e727b5f6ffcf0f4a07ee58672ab4116 Mon Sep 17 00:00:00 2001
From: Xi Ruoyao <xry111@mengyan1223.wang>
Date: Thu, 17 Feb 2022 18:49:10 +0800
Subject: [PATCH] dejagnu: add description for "dejagnu" command

---
 chapter08/dejagnu.xml | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/chapter08/dejagnu.xml b/chapter08/dejagnu.xml
index 23c1734b8..4dc422f3a 100644
--- a/chapter08/dejagnu.xml
+++ b/chapter08/dejagnu.xml
@@ -74,7 +74,7 @@ install -v -m644   doc/dejagnu.{html,txt} /usr/share/doc/dejagnu-&dejagnu-versio
       <segtitle>Installed program</segtitle>
 
       <seglistitem>
-        <seg>runtest</seg>
+        <seg>dejagnu and runtest</seg>
       </seglistitem>
     </segmentedlist>
 
@@ -83,6 +83,16 @@ install -v -m644   doc/dejagnu.{html,txt} /usr/share/doc/dejagnu-&dejagnu-versio
       <?dbfo list-presentation="list"?>
       <?dbhtml list-presentation="table"?>
 
+      <varlistentry id="dejagnu">
+        <term><command>dejagnu</command></term>
+        <listitem>
+          <para>DejaGNU auxiliary command launcher</para>
+          <indexterm zone="ch-system-dejagnu dejagnu">
+            <primary sortas="b-dejagnu">dejagnu</primary>
+          </indexterm>
+        </listitem>
+      </varlistentry>
+
       <varlistentry id="runtest">
         <term><command>runtest</command></term>
         <listitem>