diff options
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> |