docs: use [sources]

Author: mortenpi

.github/workflows/CI.yml

@@ -62,8 +62,6 @@ jobs:
           JULIAHUB_TOKEN: ${{ secrets.JULIAHUB_TOKEN }}
       - uses: julia-actions/julia-processcoverage@v1
       - uses: codecov/codecov-action@v5
-        with:
-          file: lcov.info
 
   aqua:
     name: Aqua
@@ -128,8 +126,6 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       - uses: julia-actions/julia-processcoverage@v1
       - uses: codecov/codecov-action@v5
-        with:
-          file: lcov.info
 
   doctest:
     name: Doctest
@@ -143,12 +139,9 @@ jobs:
       - name: Set up documentation environment
         run: |
           using Pkg
-          Pkg.develop(path=".")
           Pkg.instantiate()
         shell: julia --color=yes --project=docs/ {0}
       - name: Check doctests
         run: julia --color=yes --project=docs/ --code-coverage docs/make.jl --doctest
       - uses: julia-actions/julia-processcoverage@v1
       - uses: codecov/codecov-action@v5
-        with:
-          file: lcov.info

Makefile

@@ -8,7 +8,7 @@ help:
 
 docs/Manifest.toml: docs/Project.toml
 	@echo "Instantiating the docs/ environment:"
-	${JULIA} --color=yes --project=docs/ -e 'using Pkg; Pkg.develop(path="."); Pkg.instantiate()'
+	${JULIA} --color=yes --project=docs/ -e 'using Pkg; Pkg.instantiate()'
 
 docs-manifest:
 	rm -f docs/Manifest.toml

docs/Project.toml

@@ -12,3 +12,6 @@ URIs = "5c2747f8-b7ea-4ff2-ba2e-563bfd36b1d4"
 Changelog = "1"
 Documenter = "1"
 DocumenterMermaid = "0.1"
+
+[sources]
+JuliaHub = { path = ".." }