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 0b6988dfb2608032831c68ee613e2ab4571d8359..dc5f33631936e24b5c771bcbce5075c6a635c326 100644 (file)
--- 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
 ---------------