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