From 57c8b5a2c410d6f57324c6de3cbc94a59202c4a4 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 15 Dec 2025 22:35:08 +0000
Subject: [PATCH] Clarify documentation generation step name

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index daf2e183c..e8258abe3 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -59,7 +59,7 @@ jobs:
           source $(dirname $(which emsdk))/emsdk_env.sh
           npm run build:wasm
 
-      - name: Generate Documentation
+      - name: Generate Documentation (from doc directory)
         working-directory: doc
         run: |
           python3 mk_api_doc.py --js --output-dir=api