From be08e5482facaf8f3e773687df3ec5bb1243959c Mon Sep 17 00:00:00 2001
From: Lars-Dominik Braun <lars@6xq.net>
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/exe/Doc.lhs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'src/exe')

diff --git a/src/exe/Doc.lhs b/src/exe/Doc.lhs
index 63e9847..40508cb 100644
--- a/src/exe/Doc.lhs
+++ b/src/exe/Doc.lhs
@@ -26,10 +26,9 @@ source code.
 > 		]
 > 	, readerStandalone = True }
 
-.. _Pandoc: http://www.pandoc.org/
 
-Pandoc_ outputs a single HTML5 page with syntax highlighting and MathJax for
-formulas.
+`Pandoc <http://www.pandoc.org/>`_ outputs a single HTML5 page with syntax
+highlighting and MathJax for formulas.
 
 > writeDoc tpl = writeHtml5String def {
 >	  writerTemplate = tpl
-- 
cgit v1.2.3