diff options
| author | Lars-Dominik Braun <lars@6xq.net> | 2020-08-25 14:23:42 +0200 |
|---|---|---|
| committer | Lars-Dominik Braun <lars@6xq.net> | 2020-08-25 17:57:28 +0200 |
| commit | be08e5482facaf8f3e773687df3ec5bb1243959c (patch) | |
| tree | d4742be01b8872137fc0b7dbf71f87982a19a223 /src/lib/Codec/Pesto/Lint.lhs | |
| parent | 295dd897297722d07ec2ce5fb82e323fe495c775 (diff) | |
| download | pesto-be08e5482facaf8f3e773687df3ec5bb1243959c.tar.gz pesto-be08e5482facaf8f3e773687df3ec5bb1243959c.tar.bz2 pesto-be08e5482facaf8f3e773687df3ec5bb1243959c.zip | |
Fix links
pandoc does not handle internal links well for some reason, so replace
them with HTML anchors and pray for the best.
Diffstat (limited to 'src/lib/Codec/Pesto/Lint.lhs')
| -rw-r--r-- | src/lib/Codec/Pesto/Lint.lhs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/lib/Codec/Pesto/Lint.lhs b/src/lib/Codec/Pesto/Lint.lhs index bc99e14..919eeef 100644 --- a/src/lib/Codec/Pesto/Lint.lhs +++ b/src/lib/Codec/Pesto/Lint.lhs @@ -1,3 +1,5 @@ +.. _linting: + Linting ------- @@ -286,7 +288,7 @@ well… References ++++++++++ -All references must be resolved. An `earlier check <resultsused_>`_ makes sure +All references must be resolved. An `earlier check <#resultsused>`_ makes sure all results and alternatives are referenced at some point. > referencesResolved nodes edges = foldl f [] nodes |