doc: fix nav bar (#983)

1. Fix broken navigation bar
georgia-tech-db · Aug 29, 2023 · d3fec47 · d3fec47
1 parent 3336cc5
commit d3fec47
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/docs/_static/js/top-navigation.js b/docs/_static/js/top-navigation.js
@@ -24,7 +24,7 @@ is_get_started = window.location.href.endsWith(
   "source/overview/getting-started.html"
 );
 is_use_cases = window.location.href.includes("source/usecases/");
-is_developer_guide = window.location.href.includes("source/contribute/");
+is_developer_guide = window.location.href.includes("source/dev-guide/");
 is_documentation = !(is_get_started || is_use_cases || is_developer_guide);
 
 lightEvaLogoSvg =
@@ -44,13 +44,13 @@ leftContents = [];
 
 //-- The EvaDB link
 lightLinkEvaDB = document.createElement("a");
-lightLinkEvaDB.setAttribute("href", "index.html");
+lightLinkEvaDB.setAttribute("href", getNavURL("source/overview/getting-started.html").replace("source/overview/getting-started.html", "index.html"))
 lightLinkEvaDB.setAttribute("class", "evadb-logo");
 lightLinkEvaDB.classList.add("only-light");
 lightLinkEvaDB.innerHTML += lightEvaLogoSvg;
 
 darkLinkEvaDB = document.createElement("a");
-darkLinkEvaDB.setAttribute("href", "index.html");
+darkLinkEvaDB.setAttribute("href", getNavURL("source/overview/getting-started.html").replace("source/overview/getting-started.html", "index.html"))
 darkLinkEvaDB.setAttribute("class", "evadb-logo");
 darkLinkEvaDB.classList.add("only-dark");
 darkLinkEvaDB.innerHTML += darkEvaLogoSvg;
@@ -87,7 +87,7 @@ leftContents.push(useCasesLink);
 //-- The Documentation link
 documentationLink = document.createElement("a");
 documentationLink.innerText = "Docs";
-documentationLink.setAttribute("href", getNavURL("source/contribute/index.html").replace("source/contribute/index.html", "index.html"))
+documentationLink.setAttribute("href", getNavURL("source/overview/getting-started.html").replace("source/overview/getting-started.html", "index.html"))
 if (is_documentation) {
   documentationLink.style.borderBottom = "2px solid var(--orange)";
 }
@@ -98,7 +98,7 @@ developerGuideLink = document.createElement("a");
 developerGuideLink.innerText = "Developer Guide";
 developerGuideLink.setAttribute(
   "href",
-  getNavURL("source/contribute/index.html")
+  getNavURL("source/dev-guide/contribute.html")
 );
 if (is_developer_guide) {
   developerGuideLink.style.borderBottom = "2px solid var(--orange)";
@@ -132,4 +132,4 @@ topNavContent.append(topNavContentRight)
 
 
 
-document.getElementsByClassName("topnav")[0].append(topNavContent);
+document.getElementsByClassName("topnav")[0].append(topNavContent);