diff options
| author | Xi Ruoyao <xry111@mengyan1223.wang> | 2022-02-17 18:49:10 +0800 |
|---|---|---|
| committer | Xi Ruoyao <xry111@mengyan1223.wang> | 2022-02-17 19:39:07 +0800 |
| commit | 24fe054b4e727b5f6ffcf0f4a07ee58672ab4116 (patch) | |
| tree | 5301296022353ac9dc5569721bfc848babc72494 | |
| parent | 85d9756bbeb5f0aa8efba51e6a6710b540f692c8 (diff) | |
dejagnu: add description for "dejagnu" command
| -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> |