From 79de15f72d6ff5c62ea3423db8ce255c7cceb5fb Mon Sep 17 00:00:00 2001
From: Tommy Hofmann <thofma@gmail.com>
Date: Sun, 8 Dec 2024 19:25:02 +0100
Subject: [PATCH] Update DeployDocs.yml

---
 .github/workflows/DeployDocs.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/DeployDocs.yml b/.github/workflows/DeployDocs.yml
index 2100fc6fbc..ab392cd84e 100644
--- a/.github/workflows/DeployDocs.yml
+++ b/.github/workflows/DeployDocs.yml
@@ -35,8 +35,9 @@ jobs:
         uses: actions/configure-pages@v5
       - name: Fix Symlinks for Vitepress
         run: |
-          find -type l -exec bash -c 'dir="$0"; newlnk=${dir:2}; lnk="$(readlink -m "$0")"; orglnk=$(basename $lnk); echo "$newlnk <--> $orglnk"; rm "$0"; cp -r $lnk "$0"; cd "$0"; grep "$orglnk" . -lr | xargs sed -i "s/$orglnk/$newlnk/g"; cd ..' {} \;
-          ls -al;
+          find -type l -exec bash -c 'dir="$0"; url="thofma.com\/Hecke.jl\/"; newlnk="$url${dir:2}"; lnk="$(readlink -m "$0")"; orglnk="$url$(basename $lnk)"; echo "$newlnk <--> $orglnk"; rm "$0"; cp -r $lnk "$0"; cd "$0"; grep "$orglnk" . -lr | xargs sed -i "s/$orglnk/$newlnk/g"; cd ..' {} \;
+        #find -type l -exec bash -c 'dir="$0"; newlnk=${dir:2}; lnk="$(readlink -m "$0")"; orglnk=$(basename $lnk); echo "$newlnk <--> $orglnk"; rm "$0"; cp -r $lnk "$0"; cd "$0"; grep "$orglnk" . -lr | xargs sed -i "s/$orglnk/$newlnk/g"; cd ..' {} \;
+        #  ls -al;
       - name: Build with Jekyll
         uses: actions/jekyll-build-pages@v1
         with: