@@ -111,6 +111,11 @@ The following option is available:
112.. IMPORTANT::
112.. IMPORTANT::
113 The modules containing the test functions must also be added to the list of modules.
113 The modules containing the test functions must also be added to the list of modules.
118+Package files support comments using the standard Idris singleline ``--`` and multiline ``{- -}`` format.
115Using Package files
120Using Package files
116===================
121===================