Skip to content

Commit 4e39369

Browse files
authored
Ensure references to other manuals are relative (#35)
By setting relativePath=../../.. before running makedoc.g
1 parent 26b4957 commit 4e39369

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

action.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,7 @@ runs:
4343
shell: bash
4444
run: |
4545
if [ -f "makedoc.g" ]; then
46-
$GAP makedoc.g -c "QUIT;" 2>&1 | tee $RUNNER_TEMP/output.log
46+
$GAP -c 'PushOptions(rec(relativePath:="../../..")); Read("makedoc.g"); QUIT;' 2>&1 | tee $RUNNER_TEMP/output.log
4747
elif [ -x "doc/make_doc" ]; then
4848
# If the package is called <pkg_name>, then the <doc/make_doc> script
4949
# most likely assumes that it has been called from the within the

0 commit comments

Comments
 (0)