Update the reference for packages
Package files support comments. Added the syntax to the reference.
commitfe825996cae9fe7a0688edcd9fc86bccda8806a4
authorMarkus Klink <justjoheinz@gmail.com>
dateWed 7 Dec 2016, 13:52 (10 years ago)
parent9022afb
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===================