From 398c19b6f3e96931c430d41b305cb7f559d649ca Mon Sep 17 00:00:00 2001
From: schillic <git@christianschilling.net>
Date: Thu, 5 Oct 2023 23:08:30 +0200
Subject: [PATCH] support/use Documenter v1

---
 .github/workflows/CompatHelper.yml | 2 +-
 docs/Project.toml                  | 6 ++++++
 docs/make.jl                       | 2 +-
 3 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
index 2dfdefba..8e4a17da 100644
--- 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
index bb77171d..69f6d6b8 100644
--- 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
index ab569478..0f7a3ccf 100644
--- 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",