diff options
Diffstat (limited to 'chapter05/dejagnu.xml')
| -rw-r--r-- | chapter05/dejagnu.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter05/dejagnu.xml b/chapter05/dejagnu.xml index 47694736d..a57dbccbf 100644 --- a/chapter05/dejagnu.xml +++ b/chapter05/dejagnu.xml @@ -1,5 +1,5 @@ <sect1 id="ch05-dejagnu"> -<title>Installing DejaGNU-&dejagnu-version;</title> +<title>Installing DejaGnu-&dejagnu-version;</title> <?dbhtml filename="dejagnu.html" dir="chapter05"?> <screen>Estimated build time: &dejagnu-time-static; |