From 8e10adf136afb27e1008f9a947724d61962437b6 Mon Sep 17 00:00:00 2001 From: "Aleksei.Luchinin" Date: Fri, 5 Jul 2024 11:13:08 +0300 Subject: [PATCH] Fix html generation html for Arend libraries --- .../org/arend/documentation/ArendDocumentationLibHtmlUtil.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/kotlin/org/arend/documentation/ArendDocumentationLibHtmlUtil.kt b/src/main/kotlin/org/arend/documentation/ArendDocumentationLibHtmlUtil.kt index f206efca0..4ec05f410 100644 --- a/src/main/kotlin/org/arend/documentation/ArendDocumentationLibHtmlUtil.kt +++ b/src/main/kotlin/org/arend/documentation/ArendDocumentationLibHtmlUtil.kt @@ -80,7 +80,7 @@ internal fun generateHtmlForArendLib( val indexFile = File(pathToArendLibInArendSite+ File.separator + "index.md") indexFile.readLines().find { REGEX_AREND_LIB_VERSION.find(it)?.groupValues?.getOrNull(1) == version } - ?: indexFile.appendText("\n * [$version]($version/$AREND_DIR_HTML/Base.html)") + ?: indexFile.appendText("\n * [$version]($version/${AREND_DIR_HTML}Base.html)") val psiManager = PsiManager.getInstance(psiProject)