diff options
Diffstat (limited to 'appendixa/dejagnu-down.xml')
| -rw-r--r-- | appendixa/dejagnu-down.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/appendixa/dejagnu-down.xml b/appendixa/dejagnu-down.xml new file mode 100644 index 000000000..e758360c5 --- /dev/null +++ b/appendixa/dejagnu-down.xml @@ -0,0 +1,6 @@ +<sect2> +<title>Official Download Location</title> + +<para><literallayout>DejaGnu (&dejagnu-version;): +<ulink url="ftp://ftp.gnu.org/gnu/dejagnu/"/></literallayout></para> +</sect2> |