diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml index e079fa04beb..3660ff3a947 100644 --- a/.github/workflows/doc-build.yml +++ b/.github/workflows/doc-build.yml @@ -182,7 +182,6 @@ jobs: echo '' >> ./docs/CHANGES.html echo '' >>./docs/CHANGES.html rm ./docs/diff.txt ./docs/diff.html - (cd /sage/local/share/doc/sage/html && git reset --hard HEAD) # For some reason the deploy step below cannot find /sage/... # So copy everything from there to local folder # We also need to replace the symlinks because netlify is not following them diff --git a/build/pkgs/configure/checksums.ini b/build/pkgs/configure/checksums.ini index bae48b7cfe0..3df10ab6d54 100644 --- a/build/pkgs/configure/checksums.ini +++ b/build/pkgs/configure/checksums.ini @@ -1,4 +1,4 @@ tarball=configure-VERSION.tar.gz -sha1=41ec9a0bdf6e5982204b26ce2593e4b5a1863c96 -md5=8ea80ef7438ed62345de677dc921af2e -cksum=2979893163 +sha1=55e15e01ed54f137647b9f4d0668d9ad9afdfb1b +md5=ca5464e02159490528b3923d8767ca21 +cksum=137312856 diff --git a/build/pkgs/configure/package-version.txt b/build/pkgs/configure/package-version.txt index 6a758846d8a..1a5951d5afe 100644 --- a/build/pkgs/configure/package-version.txt +++ b/build/pkgs/configure/package-version.txt @@ -1 +1 @@ -be0b5cf887fefcdf31df70be0a62b10b7929f28c +466f883f976696ef930e82652395917a55c69850