Fix html generation html for Arend libraries

JetBrains · Jul 5, 2024 · 8e10adf · 8e10adf
1 parent 2eff253
commit 8e10adf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)