Remove some spurious .tar.gz suffixes from directory names in the manual#1123
Merged
wilfwilson merged 1 commit intosemigroups:stable-5.5from Dec 21, 2025
Merged
Remove some spurious .tar.gz suffixes from directory names in the manual#1123wilfwilson merged 1 commit intosemigroups:stable-5.5from
.tar.gz suffixes from directory names in the manual#1123wilfwilson merged 1 commit intosemigroups:stable-5.5from
