Fix merge conflicts sagemath#38467

kwankyu · Aug 5, 2024 · 0a60a0e · 0a60a0e
1 parent 4520ef0
commit 0a60a0e
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 13 deletions.
diff --git a/.ci/create-changes-html.sh b/.ci/create-changes-html.sh
@@ -1,12 +1,11 @@
 #!/bin/sh
-if [ $# != 2 ]; then
-    echo >&2 "usage: $0 BASE_DOC_COMMIT DOC_REPO"
+if [ $# != 1 ]; then
+    echo >&2 "usage: $0 DIFF_TEXT"
     echo >&2 "creates CHANGES.html in the current directory"
-    echo >&2 "for the diffs of DOC_REPO against BASE_DOC_COMMIT"
+    echo >&2 "for the diffs in the file DIFF_TEXT"
     exit 1
 fi
-BASE_DOC_COMMIT="$1"
-DOC_REPOSITORY="$2"
+DIFF_TEXT="$1"
 
 # Create CHANGES.html
 echo '<html>' > CHANGES.html
@@ -52,11 +51,10 @@ diffParagraphs.forEach(paragraph => {
 EOF
 echo '</head>' >> CHANGES.html
 echo '<body>' >> CHANGES.html
-(cd $DOC_REPOSITORY && git diff $BASE_DOC_COMMIT -- "*.html") > diff.txt
 python3 - << EOF
 import os, re, html
 from itertools import chain
-with open('diff.txt', 'r') as f:
+with open('$DIFF_TEXT', 'r') as f:
     diff_text = f.read()
 diff_blocks = re.split(r'^(?=diff --git)', diff_text, flags=re.MULTILINE)
 out_blocks = []
@@ -85,8 +83,11 @@ for block in diff_blocks:
                 if search_result:
                     line_number = int(search_result.group(3)) - 1
                     span = int(search_result.group(4))
-                    for i in chain(range(line_number, line_number + span), range(line_number, -1, -1)):
-                        ln = content[i]
+                    for i in chain(range(line_number, line_number + span), range(line_number - 1, -1, -1)):
+                        try:
+                            ln = content[i]
+                        except IndexError:
+                            continue
                         for idx, char in enumerate(ln):
                             if not char.isspace():
                                 break
@@ -113,4 +114,4 @@ EOF
 cat diff.html >> CHANGES.html
 echo '</body>' >> CHANGES.html
 echo '</html>' >> CHANGES.html
-rm diff.txt diff.html
+rm diff.html
diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml
@@ -204,9 +204,10 @@ jobs:
                                                   -e 's;#L[0-9]*";";' \
              && git commit -a -m 'wipe-out')
             # Since HEAD is at commit 'wipe-out', HEAD~1 is commit 'new' (new doc), HEAD~2 is commit 'old' (old doc)
-            .ci/create-changes-html.sh $(cd doc && git rev-parse HEAD~2) doc
-            # Restore the new doc with changes made in create-changes-html.sh but dropping changes by "wipe out"
-            (cd doc && git stash -q && git checkout -q -f HEAD~1 && git stash pop -q)
+            (cd doc && git diff $(git rev-parse HEAD~2) -- "*.html") > diff.txt
+            # Restore the new doc dropping changes by "wipe out"
+            (cd doc && git checkout -q -f HEAD~1)
+            .ci/create-changes-html.sh diff.txt
             # Sometimes rm -rf .git errors out because of some diehard hidden files
             # So we simply move it out of the doc directory
             (cd doc && mv .git ../git && mv .gitattributes ../gitattributes)