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