docs: use Documenter 1 (#29)

Author: mortenpi

.github/workflows/CI.yml

@@ -119,12 +119,7 @@ jobs:
       - name: Set up documentation environment
         run: |
           using Pkg
-          # TODO: remove docs manifest once Documenter 1.0 is released
-          #Pkg.add([
-          #  PackageSpec(name="Documenter", rev="master"),
-          #  PackageSpec(url="https://github.com/JuliaDocs/DocumenterMermaid.jl.git")
-          #])
-          #Pkg.develop(path=".")
+          Pkg.develop(path=".")
           Pkg.instantiate()
         shell: julia --color=yes --project=docs/ {0}
       - name: Build & deploy the documentation
@@ -148,11 +143,7 @@ jobs:
       - name: Set up documentation environment
         run: |
           using Pkg
-          #Pkg.add([
-          #  PackageSpec(name="Documenter", rev="master"),
-          #  PackageSpec(url="https://github.com/JuliaDocs/DocumenterMermaid.jl.git")
-          #])
-          #Pkg.develop(path=".")
+          Pkg.develop(path=".")
           Pkg.instantiate()
         shell: julia --color=yes --project=docs/ {0}
       - name: Check doctests

.gitignore

@@ -1,4 +1,4 @@
 /Manifest.toml
 /docs/build/
-#/docs/Manifest.toml
+/docs/Manifest.toml
 /test/testdata/large.dat

docs/Manifest.toml

@@ -6,3 +6,7 @@ JuliaHub = "bc7fa6ce-b75e-4d60-89ad-56c957190b6e"
 Mocking = "78c3b35d-d492-501b-9361-3d52fe80e533"
 TimeZones = "f269a46b-ccf7-5d73-abea-4c690281aa53"
 URIs = "5c2747f8-b7ea-4ff2-ba2e-563bfd36b1d4"
+
+[compat]
+Documenter = "1"
+DocumenterMermaid = "0.1"