You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
24 lines
638 B
24 lines
638 B
#!/usr/bin/env julia |
|
|
|
# Root of the repository |
|
const repo_root = dirname(@__DIR__) |
|
|
|
# Make sure docs environment is active and instantiated |
|
import Pkg |
|
Pkg.activate(@__DIR__) |
|
Pkg.instantiate() |
|
|
|
# Communicate with docs/make.jl that we are running in live mode |
|
push!(ARGS, "liveserver") |
|
|
|
# Run LiveServer.servedocs(...) |
|
import LiveServer |
|
LiveServer.servedocs(; |
|
# Documentation root where make.jl and src/ are located |
|
foldername = joinpath(repo_root, "docs"), |
|
# Extra source folder to watch for changes |
|
include_dirs = [ |
|
# Watch the src folder so docstrings can be Revise'd |
|
joinpath(repo_root, "src"), |
|
], |
|
)
|
|
|