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>