chore: add a Makefile for common operations

Author: mortenpi

.github/workflows/CI.yml

@@ -120,13 +120,9 @@ jobs:
           version: "1"
       - uses: julia-actions/julia-buildpkg@v1
       - name: Set up documentation environment
-        run: |
-          using Pkg
-          Pkg.develop(path=".")
-          Pkg.instantiate()
-        shell: julia --color=yes --project=docs/ {0}
+        run: make docs-manifest
       - name: Build & deploy the documentation
-        run: julia --color=yes --project=docs/ --code-coverage docs/make.jl
+        run: make docs
         env:
           DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Makefile

@@ -0,0 +1,23 @@
+JULIA:=julia
+
+help:
+	@echo "The following make commands are available:"
+	@echo " - make docs: build the documentation"
+	@echo " - make docs-environment: instantiate the docs environment"
+	@echo " - make test: run the tests"
+
+docs/Manifest.toml: docs/Project.toml
+	@echo "Instantiating the docs/ environment:"
+	$(JULIA) --color=yes --project=docs/ -e 'using Pkg; Pkg.develop(path="."); Pkg.instantiate()'
+
+docs-manifest:
+	rm -f docs/Manifest.toml
+	$(MAKE) docs/Manifest.toml
+
+docs: docs/Manifest.toml
+	$(JULIA) --project=docs/ docs/make.jl
+
+test:
+	${JULIA} --project -e 'using Pkg; Pkg.test()'
+
+.PHONY: default docs-manifest docs test