diff options
| author | DJ Lucas <dj@lucasit.com> | 2021-07-21 19:53:52 -0500 |
|---|---|---|
| committer | DJ Lucas <dj@lucasit.com> | 2021-07-21 19:53:52 -0500 |
| commit | 593b439adae07e459ffc495c06cd23bb370e3876 (patch) | |
| tree | a745622c652c6c259e5d2cec86c1e8153f077c31 /chapter08/dejagnu.xml | |
| parent | d13e8eff811d338626cbf41d0be4dd6d666b055f (diff) | |
Correct page IDs in Chapter 08 dejagnu, expect, and tcl.
Diffstat (limited to 'chapter08/dejagnu.xml')
| -rw-r--r-- | chapter08/dejagnu.xml | 6 |
1 files changed, 3 insertions, 3 deletions
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> |