From 593b439adae07e459ffc495c06cd23bb370e3876 Mon Sep 17 00:00:00 2001
From: DJ Lucas <dj@lucasit.com>
Date: Wed, 21 Jul 2021 19:53:52 -0500
Subject: Correct page IDs in Chapter 08 dejagnu, expect, and tcl.

---
 chapter08/dejagnu.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'chapter08/dejagnu.xml')

diff --git a/chapter08/dejagnu.xml b/chapter08/dejagnu.xml
index 169ad4b50..23c1734b8 100644
--- a/chapter08/dejagnu.xml
+++ b/chapter08/dejagnu.xml
@@ -5,7 +5,7 @@
   %general-entities;
 ]>
 
-<sect1 id="ch-tools-dejagnu" role="wrap">
+<sect1 id="ch-system-dejagnu" role="wrap">
   <?dbhtml filename="dejagnu.html"?>
 
   <sect1info condition="script">
@@ -16,7 +16,7 @@
 
   <title>DejaGNU-&dejagnu-version;</title>
 
-  <indexterm zone="ch-tools-dejagnu">
+  <indexterm zone="ch-system-dejagnu">
     <primary sortas="a-DejaGNU">DejaGNU</primary>
   </indexterm>
 
@@ -88,7 +88,7 @@ install -v -m644   doc/dejagnu.{html,txt} /usr/share/doc/dejagnu-&dejagnu-versio
         <listitem>
           <para>A wrapper script that locates the proper
           <command>expect</command> shell and then runs DejaGNU</para>
-          <indexterm zone="ch-tools-dejagnu runtest">
+          <indexterm zone="ch-system-dejagnu runtest">
             <primary sortas="b-runtest">runtest</primary>
           </indexterm>
         </listitem>
-- 
cgit v1.2.3-54-g00ecf