diff options
Diffstat (limited to 'appendixa/dejagnu.xml')
| -rw-r--r-- | appendixa/dejagnu.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/appendixa/dejagnu.xml b/appendixa/dejagnu.xml index ac41bfbf6..59cadabcb 100644 --- a/appendixa/dejagnu.xml +++ b/appendixa/dejagnu.xml @@ -5,6 +5,8 @@ <para>For installation instructions see <xref linkend="ch05-dejagnu"/>.</para> &aa-dejagnu-down; +&aa-dejagnu-shortdesc; +&aa-dejagnu-desc; &aa-dejagnu-dep; </sect1> |