diff --git a/.github/workflows/DeployDocs.yml b/.github/workflows/DeployDocs.yml index 3331c3335f..2100fc6fbc 100644 --- a/.github/workflows/DeployDocs.yml +++ b/.github/workflows/DeployDocs.yml @@ -35,7 +35,6 @@ jobs: uses: actions/configure-pages@v5 - name: Fix Symlinks for Vitepress run: | - #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 diff --git a/previews/PR1699/404.html b/previews/PR1699/404.html index c49f91970f..bcf4481905 100644 --- a/previews/PR1699/404.html +++ b/previews/PR1699/404.html @@ -6,20 +6,20 @@