- <sect1 id="ch05-dejagnu">
- <title>Installing DejaGnu-&dejagnu-version;</title>
- <?dbhtml filename="dejagnu.html" dir="chapter05"?>
- <screen>Estimated build time: &dejagnu-time-tools;
- Estimated required disk space: &dejagnu-compsize-tools;</screen>
- &aa-dejagnu-shortdesc;
- &aa-dejagnu-dep;
- &c5-dejagnu-inst;
- </sect1>
|
