Use docs target rather than separate Project.toml inside docs/

Inspired to do so while developing a justfile for Julia

I have reason to believe this will work [1]

[1]: https://stackoverflow.com/a/76790582/

.github/workflows/CI.yml

@@ -63,10 +63,9 @@ jobs:
           git config --global user.email email
           git config --global github.user username
       - run: |
-          julia --project=docs -e '
+          julia --project=. -e '
             using Pkg;
-            Pkg.develop(PackageSpec(path=pwd()));
             Pkg.instantiate();'
-      - run: julia --project=docs docs/make.jl
+      - run: julia --project=. docs/make.jl
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Project.toml

@@ -22,6 +22,8 @@ julia = "1"
 
 [extras]
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
+Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 
 [targets]
 test = ["Test"]
+docs = ["Documenter"]

docs/make.jl

@@ -1,5 +1,4 @@
-include(joinpath(dirname(@__DIR__), "src", "CodingTheory.jl"))
-using Documenter, .CodingTheory
+using CodingTheory, Documenter
 
 Documenter.makedocs(
     clean = true,