1 2 3 4 5 6
<sect2> <title>Official Download Location</title> <literallayout>DejaGnu (&dejagnu-version;): <ulink url="ftp://ftp.gnu.org/gnu/dejagnu/"/></literallayout> </sect2>