manual: install flash proxy before flashing bitstream/bios/runtime

fallen · fallen · commit 00c4101f1230 · 2015-06-14T22:23:55.000+02:00
diff --git a/doc/manual/installing.rst b/doc/manual/installing.rst
@@ -48,23 +48,22 @@ Preparing the core device FPGA board
 
 You now need to flash 3 things on the FPGA board:
 
-* The FPGA bitstream
-* The BIOS
-* The ARTIQ runtime
+1. The FPGA bitstream
+2. The BIOS
+3. The ARTIQ runtime
 
-To do that:
+* First, install the :ref:`Flash proxy <install-flash-proxy>` for your board.
 
-* On Pipistrello board::
+* Then, on Pipistrello board::
 
     $ artiq_flash.sh -t pipistrello
 
-* On KC705 board::
+* or on KC705 board::
 
     $ artiq_flash.sh
 
 Next step (for KC705) is to flash MAC and IP addresses to the board:
 
-* Get the :ref:`Flash proxy <install-flash-proxy>` for your board.
 * See :ref:`those instructions <flash-mac-ip-addr>` to flash MAC and IP addresses.
 
 .. _install-from-sources:
