From 7b0c6705eeabbc68682747f9986686873a68a99e Mon Sep 17 00:00:00 2001 From: Kwankyu Lee Date: Sun, 26 Nov 2023 19:11:23 +0900 Subject: [PATCH] Second attempt --- .ci/create-changes-html.sh | 4 ++-- .github/workflows/doc-build.yml | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/.ci/create-changes-html.sh b/.ci/create-changes-html.sh index a31b38ac663..1a6fbeef27b 100755 --- 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 '' >> CHANGES.html echo '' >> 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 index c82e94b7790..e4806d4815b 100644 --- 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