From be08e5482facaf8f3e773687df3ec5bb1243959c Mon Sep 17 00:00:00 2001 From: Lars-Dominik Braun Date: Tue, 25 Aug 2020 14:23:42 +0200 Subject: Fix links pandoc does not handle internal links well for some reason, so replace them with HTML anchors and pray for the best. --- src/lib/Codec/Pesto/Lint.lhs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/lib/Codec/Pesto/Lint.lhs') 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 `_ 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 -- cgit v1.2.3