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 e8b2b3cd7..31d4b7ab6 100644 --- a/chapter05/dejagnu.xml +++ b/chapter05/dejagnu.xml @@ -1,4 +1,4 @@ -<sect1 id="ch05-dejagnu" xreflabel="DejaGnu"> +<sect1 id="ch-tools-dejagnu" xreflabel="DejaGnu"> <title>Installing DejaGnu-&dejagnu-version;</title> <?dbhtml filename="dejagnu.html" dir="chapter05"?> |