Skip to content

etc/make_tar: ensure refs to GAP manual are relative - #63

Merged
gaehler merged 1 commit into
masterfrom
mh/fix-makedoc-ref
Aug 19, 2026
Merged

gaehler merged 1 commit into
masterfrom
mh/fix-makedoc-ref

Commits

Commits on Aug 18, 2026