Update GAP manuals baseurl

homalg-project · Mar 26, 2024 · 5632577 · 5632577
1 parent 3b0ebd3
commit 5632577
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"