From dbbbe29201ff96b23c44407b0750d59f0791946a Mon Sep 17 00:00:00 2001
From: Laurens Valk <laurens@pybricks.com>
Date: Tue, 5 May 2020 17:12:14 +0200
Subject: [PATCH] doc/ev3_install: update download link

---
 doc/api/start_ev3_download.inc | 3 +++
 doc/api/start_ev3_install.inc  | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)
 create mode 100644 doc/api/start_ev3_download.inc

diff --git a/doc/api/start_ev3_download.inc b/doc/api/start_ev3_download.inc
new file mode 100644
index 0000000..bce5b29
--- /dev/null
+++ b/doc/api/start_ev3_download.inc
@@ -0,0 +1,3 @@
+.. _EV3 MicroPython microSD card image: https://pybricks.com/downloads
+
+1. Download the `EV3 MicroPython microSD card image`_ and save it in a convenient location. This file is approximately 360 MB. You do **not** need to unzip the file.
diff --git a/doc/api/start_ev3_install.inc b/doc/api/start_ev3_install.inc
index 37a3aff..6a2944e 100644
--- a/doc/api/start_ev3_install.inc
+++ b/doc/api/start_ev3_install.inc
@@ -67,8 +67,8 @@ If the microSD card contains files you want to keep, make sure to create a backu
 
 To install the MicroPython tools on your microSD card:
 
+.. include:: start_ev3_download.inc
 
-1. Download the `EV3 MicroPython microSD card image <https://pybricks.com/downloads/>`_ and save it in a convenient location. This file is approximately 360 MB. You do **not** need to unzip the file.
 2. Download and install a microSD card flashing tool such as `Etcher <https://www.balena.io/etcher/>`_.
 3. Insert the microSD card into your computer or card reader.
 4. Launch the flashing tool and follow the steps on your screen to install the file you have just downloaded. If you use Etcher, you can follow the instructions below, as shown in :numref:`fig_etcher`.