From c2a81c76e1a1ba50d06a21d21db2b2e16db6e68f Mon Sep 17 00:00:00 2001
From: tangxifan <tangxifan@gmail.com>
Date: Sun, 17 May 2020 19:38:13 -0600
Subject: [PATCH] update doc for new options

---
 docs/source/openfpga_shell/openfpga_commands.rst | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/source/openfpga_shell/openfpga_commands.rst b/docs/source/openfpga_shell/openfpga_commands.rst
index 4e5770ebd..909a6416f 100644
--- a/docs/source/openfpga_shell/openfpga_commands.rst
+++ b/docs/source/openfpga_shell/openfpga_commands.rst
@@ -245,6 +245,8 @@ FPGA-SDC
 
   - ``--flatten_names`` Use flatten names (no wildcards) in SDC files
 
+  - ``--verbose`` Show verbose log
+
 .. option:: write_analysis_sdc
 
   Write the SDC to run timing analysis for a mapped FPGA fabric