From 6d42b908d7716e09fdc0d57fc4e6094ba88065f3 Mon Sep 17 00:00:00 2001
From: Shravan Goswami <123811742+shravanngoswamii@users.noreply.github.com>
Date: Fri, 21 Jun 2024 18:45:51 +0530
Subject: [PATCH] Update make.jl for adding Navigation bar

---
 docs/make.jl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/make.jl b/docs/make.jl
index 9395d2a0..f7d44c0a 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -12,4 +12,7 @@ makedocs(;
     checkdocs=:exports,
 )
 
+# Insert navbar in each html file
+run(`sh -c "curl -s https://raw.githubusercontent.com/TuringLang/turinglang.github.io/main/assets/scripts/insert_navbar.sh | bash -s docs/build"`)
+
 deploydocs(; repo="github.com/TuringLang/AbstractMCMC.jl.git", push_preview=true)