Merge pull request #3560 from justjoheinz/patch-2
Update the reference for packages
commite3fa3cdace8352c784941b07a18dc4dc6f348215
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateWed 7 Dec 2016, 14:06 (10 years ago)
parent9022afbfe82599
docs/reference/packages.rst+5
@@ -111,6 +111,11 @@ The following option is available:
111111
112112.. IMPORTANT::
113113 The modules containing the test functions must also be added to the list of modules.
114+
115+Comments
116+---------
117+
118+Package files support comments using the standard Idris singleline ``--`` and multiline ``{- -}`` format.
114119
115120Using Package files
116121===================