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