/
make.jl
48 lines (42 loc) · 1.64 KB
/
make.jl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
using Polyhedra
using Documenter, Literate
const EXAMPLES_DIR = joinpath(@__DIR__, "..", "examples")
const OUTPUT_DIR = joinpath(@__DIR__, "src/generated")
const EXAMPLES = [
"Minimal Robust Positively Invariant Set.jl",
]
for example in EXAMPLES
example_filepath = joinpath(EXAMPLES_DIR, example)
Literate.markdown(example_filepath, OUTPUT_DIR)
Literate.notebook(example_filepath, OUTPUT_DIR)
Literate.script(example_filepath, OUTPUT_DIR)
end
# See https://juliadocs.github.io/Documenter.jl/v0.25/man/doctests/#Setup-Code
DocMeta.setdocmeta!(Polyhedra, :DocTestSetup, :(using Polyhedra); recursive=true)
makedocs(
sitename = "Polyhedra",
# See https://github.com/JuliaDocs/Documenter.jl/issues/868
format = Documenter.HTML(prettyurls = get(ENV, "CI", nothing) == "true"),
# See https://github.com/jump-dev/JuMP.jl/issues/1576
strict = true,
pages = [
"Index" => "index.md",
"Installation" => "installation.md",
"Representation" => "representation.md",
"Polyhedron" => "polyhedron.md",
"Plot" => "plot.md",
"Containment/Redundancy" => "redundancy.md",
"Projection/Elimination" => "projection.md",
"Optimization" => "optimization.md",
"Utilities" => "utilities.md",
"Examples" => Any[
"Minimal Robust Positively Invariant Set" => "generated/Minimal Robust Positively Invariant Set.md",
]
],
# The following ensures that we only include the docstrings from
# this module for functions define in Base that we overwrite.
modules = [Polyhedra]
)
deploydocs(
repo = "github.com/JuliaPolyhedra/Polyhedra.jl.git",
)