Update URL

digraphs · May 13, 2024 · 9d4c333 · 9d4c333
1 parent 0ef0622
commit 9d4c333
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/docker-test.sh b/ci/docker-test.sh
@@ -138,7 +138,7 @@ for PKG in "${PKGS[@]}"; do
 
   # This can be removed when there is no GAPDoc special case for GAP 4.10.2
   if [ "$PKG" == "GAPDoc" ]; then
-    URL="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/GAPDoc-$VERSION.tar.gz"
+    URL="https://github.com/frankluebeck/GAPDoc/archive/refs/tags/relv$VERSION.tar.gz"
   else
     URL="https://github.com/gap-packages/$PKG/releases/download/v$VERSION/$PKG-$VERSION.tar.gz"
   fi