From 5632577bb3f13b777b49207a37d24d6eecccaf2a Mon Sep 17 00:00:00 2001 From: Max Horn Date: Tue, 26 Mar 2024 23:41:34 +0100 Subject: [PATCH] Update GAP manuals baseurl --- dev/release-gap-package | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev/release-gap-package b/dev/release-gap-package index e18b552f7..be15165ce 100755 --- a/dev/release-gap-package +++ b/dev/release-gap-package @@ -715,7 +715,7 @@ fi # BSD and GNU make. for f in ./*/*.htm* ; do sed \ - -e 's;href="../../../doc/;href="https://www.gap-system.org/Manuals/doc/;g' \ + -e 's;href="../../../doc/;href="https://docs.gap-system.org/doc/;g' \ -e 's;href="../../../pkg/GAPDoc[^\/]*/doc/;href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/doc/;g' \ -e 's;href="../../../pkg/gapdoc[^\/]*/doc/;href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/doc/;g' \ "$f" > "$f.bak"