From 3471ef80fdbc40cb85b1c1498d3d2336be558690 Mon Sep 17 00:00:00 2001
From: Yann Sionneau <ys@m-labs.hk>
Date: Sat, 4 Jul 2015 14:48:55 +0200
Subject: [PATCH] manual: closes #63, tell to install xc3sprog before flashing

---
 doc/manual/installing.rst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/manual/installing.rst b/doc/manual/installing.rst
index 4cf186931..5784d994a 100644
--- a/doc/manual/installing.rst
+++ b/doc/manual/installing.rst
@@ -51,6 +51,8 @@ You now need to flash 3 things on the FPGA board:
 2. The BIOS
 3. The ARTIQ runtime
 
+First you need to :ref:`install xc3sprog <install-xc3sprog>`. Then, you can flash the board:
+
 * For the Pipistrello board::
 
     $ artiq_flash.sh -t pipistrello
@@ -122,6 +124,8 @@ These steps are required to generate bitstream (``.bit``) files, build the MiSoC
         $ make -j4
         $ sudo make install
 
+.. _install-xc3sprog:
+
 * Install JTAG tools needed to program the Pipistrello and KC705:
 
     ::