From 881b4aebcb9dfbd40840f9105786be7f3c7334a1 Mon Sep 17 00:00:00 2001 From: Wilf Wilson Date: Mon, 29 Sep 2025 23:26:41 +0100 Subject: [PATCH] doc: remove some spurious ".tar.gz" suffixes from directory names --- doc/z-chap02.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/z-chap02.xml b/doc/z-chap02.xml index 6575bb23f..ce16d79f9 100644 --- a/doc/z-chap02.xml +++ b/doc/z-chap02.xml @@ -61,7 +61,7 @@ locate your ⪆ directory, the one containing the directories lib, doc and so on. Move the directory - &ARCHIVENAME; into the pkg subdirectory of your ⪆ + semigroups-&VERSION; into the pkg subdirectory of your ⪆ directory. @@ -109,7 +109,7 @@ &SEMIGROUPS; package without compiling it.

- To compile the kernel component inside the pkg/&ARCHIVENAME; + To compile the kernel component inside the pkg/semigroups-&VERSION; directory, type