blob: 832ef1f9282ddbd56f0ae2e6cfa4e9924a029314 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
<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>
&aa-dejagnu-shortdesc;
&aa-dejagnu-dep;
&c5-dejagnu-inst;
</sect1>
|
