@@ -123,7 +123,7 @@ Package files support comments using the standard Idris singleline ``--`` and mu
123Using Package files
123Using Package files
124===================
124===================
126−Given an Idris package file ``text.ipkg`` it can be used with the Idris compiler as follows:
126+Given an Idris package file ``test.ipkg`` it can be used with the Idris compiler as follows:
128+ ``idris --build test.ipkg`` will build all modules in the package
128+ ``idris --build test.ipkg`` will build all modules in the package