From bf810f5c99c8cff3e2f786a0aca11853649b851c Mon Sep 17 00:00:00 2001
From: Paweł Marks <pmarks@virtuslab.com>
Date: Wed, 12 Feb 2020 15:57:19 +0100
Subject: Adds missing extension to navigation page

---
 core/src/main/resources/dokka/scripts/navigationLoader.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/src/main/resources/dokka/scripts/navigationLoader.js b/core/src/main/resources/dokka/scripts/navigationLoader.js
index d79203f2..99a885a9 100644
--- a/core/src/main/resources/dokka/scripts/navigationLoader.js
+++ b/core/src/main/resources/dokka/scripts/navigationLoader.js
@@ -1,5 +1,5 @@
 onload = () => {
-    fetch(pathToRoot + "navigation")
+    fetch(pathToRoot + "navigation.html")
     .then(response => response.text())
     .then(data => {
         document.getElementById("sideMenu").innerHTML = data;
-- 
cgit