diff options
Diffstat (limited to 'chapter08')
| -rw-r--r-- | chapter08/dejagnu.xml | 12 |
1 files changed, 11 insertions, 1 deletions
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> |