From d8dba8cc0f0c7807e120d7ca67d598d2413fb3e0 Mon Sep 17 00:00:00 2001
From: joeycastillo <joeycastillo@users.noreply.github.com>
Date: Wed, 6 Jul 2022 04:32:16 +0000
Subject: deploy: 87da5f15ea314d53d97cee5f9fd13b4f83455256

---
 menu.js | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'menu.js')

diff --git a/menu.js b/menu.js
index 54e81cf1..818b859b 100644
--- a/menu.js
+++ b/menu.js
@@ -28,7 +28,15 @@ function initMenu(relPath,searchEnabled,serverSide,searchPage,search) {
     if ('children' in data) {
       result+='<ul>';
       for (var i in data.children) {
-        result+='<li><a href="'+relPath+data.children[i].url+'">'+
+        var url;
+        var link;
+        link = data.children[i].url;
+        if (link.substring(0,1)=='^') {
+          url = link.substring(1);
+        } else {
+          url = relPath+link;
+        }
+        result+='<li><a href="'+url+'">'+
                                 data.children[i].text+'</a>'+
                                 makeTree(data.children[i],relPath)+'</li>';
       }
-- 
cgit v1.2.3