WIP: move docs target to a Makefile inside 'docs'

Author: webwarrior-ws

.github/workflows/build+test+deploy.yml

@@ -114,7 +114,9 @@ jobs:
     - name: Restore dependencies
       run: dotnet restore
     - name: Run Fornax
-      run: make docs
+      run: |
+        cd docs
+        make
     - name: Deploy (if tag)
       if: startsWith(github.ref, 'refs/tags/')
       uses: peaceiris/actions-gh-pages@v3

Makefile

@@ -7,9 +7,3 @@ check:
 
 selfcheck:
 	dotnet fsi build.fsx --target SelfCheck
-
-# add docs to .PHONY target because docs directory already exists and Make considers it "up to date" and skips execution.
-.PHONY: docs
-docs:
-	dotnet fsi build.fsx --target Docs
-