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 ``:`` or ``~:`` tag. +The command ``sby --dumptasks `` prints the list of all tasks defined in +a given ``.sby`` file. + Options section ---------------