support/use Documenter v1

JuliaReach · Oct 7, 2023 · 398c19b · 398c19b
1 parent 2fc641f
commit 398c19b
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
@@ -18,4 +18,4 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
-        run: julia -e 'using CompatHelper; CompatHelper.main(; subdirs=["", "test"])'
+        run: julia -e 'using CompatHelper; CompatHelper.main(; subdirs=["", "test", "docs"])'
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -9,3 +9,9 @@ Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
 SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
 SymEngine = "123dc426-2d89-5057-bbad-38513e3affd8"
 Symbolics = "0c5d862f-8b57-4792-8d23-62f2024744c7"
+
+[compat]
+Documenter = "1"
+Literate = "2"
+Plots = "1"
+SymEngine = "0.8 - 0.10"
diff --git a/docs/make.jl b/docs/make.jl
@@ -16,7 +16,7 @@ makedocs(; sitename="ReachabilityModels",
          modules=[ReachabilityModels],
          format=Documenter.HTML(; prettyurls=get(ENV, "CI", nothing) == "true",
                                 assets=["assets/aligned.css"]),
-         strict=false,
+         pagesonly=true,
          pages=["Home" => "index.md",
                 "Usage" => "usage.md",
                 "Overview" => "overview.md",