From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 8 Mar 2019 20:20:08 +0000 (-0800)
Subject: Add --dumptasks to documentation
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cef50242df928dc3e8bf83cb6c4b145d4926baeb;p=SymbiYosys.git

Add --dumptasks to documentation

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/docs/source/reference.rst b/docs/source/reference.rst
index 0b6988d..dc5f336 100644
--- a/docs/source/reference.rst
+++ b/docs/source/reference.rst
@@ -104,6 +104,9 @@ combinations of some host implementations A and B and device implementations X a
 The ``[tasks]`` section must appear in the ``.sby`` file before the first
 ``<taskname>:`` or ``~<taskname>:`` tag.
 
+The command ``sby --dumptasks <sby_file>`` prints the list of all tasks defined in
+a given ``.sby`` file.
+
 Options section
 ---------------