const liveserver = "liveserver" in ARGS if liveserver using Revise Revise.revise() end using Documenter using Prometheus # Build it! Documenter.makedocs( sitename = "Prometheus.jl", format = Documenter.HTML( canonical = "https://fredrikekre.github.io/Prometheus.jl/v1", ), modules = [Prometheus], warnonly = true, ) # Rewrite to "single page" mode index = joinpath(@__DIR__, "build/index.html") str = read(index, String) # Remove the sidebar str = replace(str, r"" => "") # Remove the breadcrumb str = replace(str, r"" => "") # Remove the hamburger in narrow mode str = replace(str, r"" => "") # Move the buttons to the right str = replace(str, r"
" => "
") # Center the content str = replace(str, r"