From f3834533070fc93c79b2f2c09cd3d34fbae1311c Mon Sep 17 00:00:00 2001 From: octachron Date: Thu, 29 Oct 2020 15:37:53 +0100 Subject: [PATCH] Fix linking to pages --- src/html/link.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/html/link.ml b/src/html/link.ml index 2b10f50fc3..4a460c0a8d 100644 --- a/src/html/link.ml +++ b/src/html/link.ml @@ -73,6 +73,7 @@ let href ~resolve { Url.Anchor. page; anchor; kind } = @ target_from_common_ancestor in let page = String.concat "/" relative_target in + let page = if kind="page" then page ^ ".html" else page in begin match anchor with | "" -> page | anchor -> page ^ "#" ^ anchor