Merge pull request #4725 from gdennie/patch-1
correct example package name
commit162e46831df1a225d4363b99c1043711978536af
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateMon 3 Jun 2019, 09:18 (7 years ago)
parentfdcbb6d2ce0c5d
docs/reference/packages.rst+1−1
@@ -24,7 +24,7 @@ comma separated list of modules. For example, a library test which
2424has two modules ``foo.idr`` and ``bar.idr`` as source files would be
2525written as follows::
2626
27− package foo
27+ package test
2828
2929 modules = foo, bar
3030