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

Author: webwarrior-ws

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

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

.gitignore

@@ -405,7 +405,8 @@ FodyWeavers.xsd
 tmp/
 temp/
 .fsdocs
-docs/
+docs/*
+!docs/Makefile
 
 # ===================================================
 # OS files

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
-

docs/Makefile

@@ -0,0 +1,2 @@
+all:
+	dotnet fsi build.fsx --target Docs