Update make.jl for adding Navigation bar

TuringLang · Jun 21, 2024 · 6d42b90 · 6d42b90
1 parent 2a77f53
commit 6d42b90
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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)