From 8366cdc3d065c418e82ad5f5d73d14c6bfad0041 Mon Sep 17 00:00:00 2001 From: Jorge Marques Date: Thu, 22 Aug 2024 10:46:31 +0200 Subject: [PATCH] .github: Add destination depth to doc build ADOC_TARGET_DEPTH sets the relative link to reach the documentation root, for example: * ./ : ../ (0) * ./main/ : ../../ (1) * ./prs/1234 : ../../../ (2) This fixes the system level navigation links. Signed-off-by: Jorge Marques --- .github/workflows/test.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 390e3adf3..c8eacabe9 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -141,6 +141,7 @@ jobs: - name: Build doc and release run: | + export ADOC_TARGET_DEPTH=1 cd doc && make html cd .. @@ -174,6 +175,7 @@ jobs: run: | export GIT_BRANCH=${{ github.head_ref }} export DEV_BUILD=1 + export ADOC_TARGET_DEPTH=2 cd doc && make html cd ..