Skip to content

Commit 7dae1e3

Browse files
committed
[ docs ] Fix readthedocs links in packages.rst
The links for "pack collection" and "third-party libraries" were missing a space between the display text and the ref, leading to incorrect hyperlinks in the readthedocs output.
1 parent 5a270a1 commit 7dae1e3

1 file changed

Lines changed: 4 additions & 2 deletions

File tree

docs/source/tutorial/packages.rst

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -37,8 +37,10 @@ package file would be:
3737
Running ``idris2 --init`` will interactively create a new package file in the current directory. The generated package file lists all configurable fields with a brief description.
3838

3939
Other examples of package files can be found in the ``libs`` directory
40-
of the main Idris repository, in the `pack collection<https://github.com/stefan-hoeck/idris2-pack-db/blob/main/collections/HEAD.toml>`_
41-
, and in `third-party libraries<https://github.com/idris-lang/Idris2/wiki/Third-party-Libraries>`_.
40+
of the main Idris repository, in the
41+
`pack collection <https://github.com/stefan-hoeck/idris2-pack-db/blob/main/collections/HEAD.toml>`_,
42+
and in
43+
`third-party libraries <https://github.com/idris-lang/Idris2/wiki/Third-party-Libraries>`_.
4244

4345

4446
Using Package files

0 commit comments

Comments
 (0)