Skip to content

Commit

Permalink
Update docs/make.jl
Browse files Browse the repository at this point in the history
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
  • Loading branch information
yebai and github-actions[bot] authored Jun 21, 2024
1 parent 6d42b90 commit ae2ecd5
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion docs/make.jl
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,8 @@ makedocs(;
)

# 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"`)
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)

0 comments on commit ae2ecd5

Please sign in to comment.