From faa268e8145057561627233acd5f27c59f189a4e Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Thu, 14 Apr 2016 01:25:36 +0800
Subject: [PATCH] manual/installing: --toolchain vivado

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

diff --git a/doc/manual/installing.rst b/doc/manual/installing.rst
index 86d963e47..4cd516f4a 100644
--- a/doc/manual/installing.rst
+++ b/doc/manual/installing.rst
@@ -269,6 +269,8 @@ These steps are required to generate gateware bitstream (``.bit``) files, build
 
         $ python3.5 -m artiq.gateware.targets.kc705 -H nist_qc1  # or nist_qc2
 
+    .. note:: Add ``--toolchain vivado`` if you wish to use Vivado instead of ISE.
+
 * Then, gather the binaries and flash them: ::
 
         $ mkdir binaries