From 6fc73a025652e3fddefd55ea02ce632de2a216de Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Thu, 14 Apr 2016 01:20:13 +0800
Subject: [PATCH] manual/installing: -H nist_...

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

diff --git a/doc/manual/installing.rst b/doc/manual/installing.rst
index cefbcb362..86d963e47 100644
--- a/doc/manual/installing.rst
+++ b/doc/manual/installing.rst
@@ -267,7 +267,7 @@ These steps are required to generate gateware bitstream (``.bit``) files, build
 
     * For KC705::
 
-        $ python3.5 -m artiq.gateware.targets.kc705 -H qc1  # or qc2
+        $ python3.5 -m artiq.gateware.targets.kc705 -H nist_qc1  # or nist_qc2
 
 * Then, gather the binaries and flash them: ::