diff options
Diffstat (limited to 'chapter05/dejagnu.xml')
| -rw-r--r-- | chapter05/dejagnu.xml | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/chapter05/dejagnu.xml b/chapter05/dejagnu.xml index dc37b94de..d4b3143cc 100644 --- a/chapter05/dejagnu.xml +++ b/chapter05/dejagnu.xml @@ -1,11 +1,13 @@ -<sect1 id="ch05-dejagnu"> +<sect1 id="ch05-dejagnu" xreflabel="DejaGnu"> <title>Installing DejaGnu-&dejagnu-version;</title> <?dbhtml filename="dejagnu.html" dir="chapter05"?> +<para>The DejaGnu package contains a framework for testing other programs.</para> + <screen>Estimated build time: &dejagnu-time-tools; Estimated required disk space: &dejagnu-compsize-tools;</screen> -&aa-dejagnu-shortdesc; +&aa-dejagnu-down; &aa-dejagnu-dep; <sect2><title> </title><para> </para></sect2> @@ -23,5 +25,8 @@ Estimated required disk space: &dejagnu-compsize-tools;</screen> </sect2> +&aa-dejagnu-shortdesc; +&aa-dejagnu-desc; + </sect1> |