diff options
| author | Holger Wansing <hwansing@mailbox.org> | 2018-11-09 17:18:47 +0100 |
|---|---|---|
| committer | Holger Wansing <hwansing@mailbox.org> | 2018-11-09 17:18:47 +0100 |
| commit | 735a6e55e367c201c2aaf848a1172b786728b063 (patch) | |
| tree | 0c9a60ce51321c1298778f994420ddc9275f0f43 /en/boot-installer/x86.xml | |
| parent | 51631606c2c4b3bb852ce895aae6e02dedd23d14 (diff) | |
| download | installation-guide-735a6e55e367c201c2aaf848a1172b786728b063.zip | |
Convert win32-loader.exe string into a clickable link
Diffstat (limited to 'en/boot-installer/x86.xml')
| -rw-r--r-- | en/boot-installer/x86.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/en/boot-installer/x86.xml b/en/boot-installer/x86.xml index c7f5bb04a..2e67c3d01 100644 --- a/en/boot-installer/x86.xml +++ b/en/boot-installer/x86.xml @@ -32,7 +32,8 @@ stick</phrase> installation media as described in <listitem><para> download a standalone Windows executable, which is available as -tools/win32-loader/stable/win32-loader.exe on the &debian; mirrors. +<ulink url="&win32-loader-exe;">tools/win32-loader/stable/win32-loader.exe</ulink> +on the &debian; mirrors. </para></listitem> </itemizedlist> |