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

etc/make_tar: ensure refs to GAP manual are relative#63
gaehler merged 1 commit into
masterfrom
mh/fix-makedoc-ref

Conversation

@fingolfin

Copy link
Copy Markdown
Member

This PR mirrors gap-packages/crystcat#21 and gap-packages/CaratInterface#43 -- however, since there is no reference to the GAP reference manual in the cryst manual, it actually updated just fine. So this is more of a proactive change to prevent future issues.

@codecov

codecov Bot commented Aug 18, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 94.81%. Comparing base (1506b33) to head (4b7b64f).

Additional details and impacted files
@@           Coverage Diff           @@
##           master      #63   +/-   ##
=======================================
  Coverage   94.81%   94.81%           
=======================================
  Files          24       24           
  Lines        7537     7537           
=======================================
  Hits         7146     7146           
  Misses        391      391           
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@gaehler
gaehler merged commit 709df58 into master Aug 19, 2026
5 checks passed
@gaehler
gaehler deleted the mh/fix-makedoc-ref branch August 19, 2026 08:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants