Merge pull request #2632 from ExNexu/patch-1
Add --package contrib to tutorial
commitfe9247356e27a73fb6efb3db11d3ece577193918
authorNiklas Larsson <metaniklas@gmail.com>
dateSun 20 Sep 2015, 16:54 (11 years ago)
parent50878fad3389d1
docs/tutorial/starting.rst+2
@@ -66,6 +66,8 @@ Some useful options to the Idris command are:
6666
6767- ``--check`` type check the file and its dependencies without starting the interactive environment.
6868
69+- ``--package pkg`` add package as dependency, e.g. ``--package contrib`` to make use of the contrib package.
70+
6971- ``--help`` display usage summary and command line options.
7072
7173The Interactive Environment