diff options
Diffstat (limited to 'appendixa/dejagnu-shortdesc.xml')
| -rw-r--r-- | appendixa/dejagnu-shortdesc.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/appendixa/dejagnu-shortdesc.xml b/appendixa/dejagnu-shortdesc.xml index b6ca52fa3..733951c6c 100644 --- a/appendixa/dejagnu-shortdesc.xml +++ b/appendixa/dejagnu-shortdesc.xml @@ -1,4 +1,4 @@ -<sect2><title>Contents of DejaGnu</title> +<sect2 id="contents-dejagnu"><title>Contents of DejaGnu</title> <!-- <para>(Last checked against version &dejagnu-contversion;.)</para> --> |