diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 0801827d5..6dc8bdb12 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -30,6 +30,7 @@ jobs:
 
     - name: Build with sphinx
       run: |
+        cd docs
         make html WORKSPACE_PATH=/tmp/workspace
 
     - name: Check for Typos using Codespell
diff --git a/docs/Makefile b/docs/Makefile
index fe5898269..a700e34d5 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -19,7 +19,7 @@ systemconfigs:
 tags:
 	./generate-benchmark-list.py $(WORKSPACE_PATH)
 
-.PHONY: help sysconfigs Makefile
+.PHONY: help sysconfigs tags Makefile
 
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).