Merge pull request #603 from fingolfin/mh/gap-manuals-url

Update GAP manuals baseurl
homalg-project · Mar 27, 2024 · d57aa10 · d57aa10
2 parents 3b0ebd3 + 5632577
commit d57aa10
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"