Second attempt

sagemath · Nov 26, 2023 · 7b0c670 · 7b0c670
1 parent 976c1b3
commit 7b0c670
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.ci/create-changes-html.sh b/.ci/create-changes-html.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/sh
+#!/bin/sh
 if [ $# != 2 ]; then
     echo >&2 "usage: $0 BASE_DOC_COMMIT DOC_REPO"
     echo >&2 "creates CHANGES.html in the current directory"
@@ -52,7 +52,7 @@ EOF
 echo '</head>' >> CHANGES.html
 echo '<body>' >> CHANGES.html
 (cd $DOC_REPOSITORY && git diff $BASE_DOC_COMMIT -- *.html) > diff.txt
-python - << EOF
+python3 - << EOF
 import os, re, html
 with open('diff.txt', 'r') as f:
     diff_text = f.read()

diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml
@@ -133,6 +133,7 @@ jobs:
           set -ex
           DOC_DIR=/sage/local/share/doc/sage/html
           (cd $DOC_DIR && git commit -a -m 'new')
+          ls -l /sage/venv/bin
           PATH=/sage/venv/bin:$PATH .ci/create-changes-html.sh $(cd $DOC_DIR; git rev-parse HEAD^) $DOC_DIR
           (cd $DOC_DIR && rm -rf .git)
           # We copy everything to a local folder