Fix release CI

Author: albinahlback

.github/workflows/release.yml

@@ -172,21 +172,28 @@ jobs:
         run: |
           (echo "SUBJECT=\"FLINT nightly release\"";
            echo "PRERELEASE=\"--prerelease --draft\"") >> $GITHUB_ENV
-          gh release delete nightly --yes || true
-          git push origin :nightly || true
+          # gh release delete nightly --yes || true
+          # git push origin :nightly || true
 
 
       - if: env.TAG_NAME != 'nightly'
         run: |
           (echo "SUBJECT=\"FLINT v${FLINT_VERSION}\"";
            echo "PRERELEASE=") >> $GITHUB_ENV
-          gh release delete stable --yes || true
-          git push origin :stable || true
+          # gh release delete stable --yes || true
+          # git push origin :stable || true
 
       - name: Generate release message
         run: |
           # Print tag message
+          mkdir tmp
+          cd tmp
+          git clone --bare --filter=blob:none --depth=1 --branch v${FLINT_VERSION} https://github.com/flintlib/flint.git
+          mv flint.git .git
           git for-each-ref refs/tags/v${FLINT_VERSION} --format='%(contents)' > $RUNNER_TEMP/notes.md
+          cd ..
+          rm -rf tmp/
+
           # Generate checksums
           printf '## SHA256 Checksums\n```\n' >> $RUNNER_TEMP/notes.md
           for ext in tar.gz tar.xz zip; do
@@ -214,7 +221,8 @@ jobs:
         run: |
           sudo apt-get install -y python3-sphinx texlive-full
           sphinx-build --version
-          cd doc/
+          tar -xf flint-${FLINT_VERSION}.tar.gz
+          cd flint-${FLINT_VERSION}/doc/
           make latexpdf SPHINXOPTS="-W -j auto"
 
       - if: env.TAG_NAME != 'nightly'
@@ -229,10 +237,12 @@ jobs:
         name: "Upload to website"
         run: |
           # Push documentation and tarballs to server
-          mv doc/build/latex/flint.pdf flint-${FLINT_VERSION}.pdf
+          mv flint-${FLINT_VERSION}/doc/build/latex/flint.pdf flint-${FLINT_VERSION}.pdf
           for ext in pdf tar.gz zip; do
             scp flint-${FLINT_VERSION}.$ext [email protected]:~/apps/flintlib_org/download/
+          done
+
           # Rebuild the website and append version-date tuple to HISTORY
-          ssh -t [email protected] 'cd ~/flintwebpage && date +'"'"'%Y-%m-%d'"'"' >> HISTORY && python3 downloads.py ~/apps/flintlib_org && python3 build.py ~/apps/flintlib_org'
+          ssh -t [email protected] 'cd ~/flintwebpage && date +'"'"'%Y-%m-%d'"'"' >> HISTORY && export LANG=en_US.UTF-8 && python3 downloads.py ~/apps/flintlib_org && python3 build.py ~/apps/flintlib_org'
 
 # TODO: we could / should perhaps also test `make install` ?