diff options
Diffstat (limited to 'chapter05/dejagnu.xml')
| -rw-r--r-- | chapter05/dejagnu.xml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/chapter05/dejagnu.xml b/chapter05/dejagnu.xml new file mode 100644 index 000000000..47694736d --- /dev/null +++ b/chapter05/dejagnu.xml @@ -0,0 +1,11 @@ +<sect1 id="ch05-dejagnu"> +<title>Installing DejaGNU-&dejagnu-version;</title> +<?dbhtml filename="dejagnu.html" dir="chapter05"?> + +<screen>Estimated build time: &dejagnu-time-static; +Estimated required disk space: &dejagnu-compsize-static;</screen> + +&c5-dejagnu-inst; + +</sect1> + |