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

webwarrior-ws · webwarrior-ws · commit eeef0ea6985e · 2025-08-21T10:52:55.000+02:00
diff --git a/.github/workflows/build+test+deploy.yml b/.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
diff --git a/.gitignore b/.gitignore
@@ -405,7 +405,8 @@ FodyWeavers.xsd
 tmp/
 temp/
 .fsdocs
-docs/
+docs/*
+!docs/Makefile
 
 # ===================================================
 # OS files
diff --git a/Makefile b/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
-
diff --git a/docs/Makefile b/docs/Makefile
@@ -0,0 +1,2 @@
+all:
+	dotnet fsi build.fsx --target Docs

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+all:`
	`2`	`+ dotnet fsi build.fsx --target Docs`