From dd7ccf2ec9b5f1ef2ce4d12805d86fbcfcb007f7 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Thu, 13 Nov 2025 00:41:29 +0100 Subject: [PATCH] Ensure references to other manuals are relative By setting relativePath=../../.. before running makedoc.g --- action.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/action.yml b/action.yml index 6d38766..03265d2 100644 --- a/action.yml +++ b/action.yml @@ -43,7 +43,7 @@ runs: shell: bash run: | if [ -f "makedoc.g" ]; then - $GAP makedoc.g -c "QUIT;" 2>&1 | tee $RUNNER_TEMP/output.log + $GAP -c 'PushOptions(rec(relativePath:="../../..")); Read("makedoc.g"); QUIT;' 2>&1 | tee $RUNNER_TEMP/output.log elif [ -x "doc/make_doc" ]; then # If the package is called , then the script # most likely assumes that it has been called from the within the