- <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>
|
