Change delimiters to colon

kwankyu · kwankyu · commit 9e5dae7ef0c5 · 2023-10-21T00:07:48.000+09:00
diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml
@@ -65,8 +65,8 @@ jobs:
           # Wipe out chronic diffs between old doc and new doc
           (cd /sage/local/share/doc/sage/html/en && \
            find . -name "*.html" | xargs sed -i -e '/class="sidebar-brand-text"/ s/Sage [0-9a-z.]* /Sage '$new_version' /' \
-                                                -e 's_'"$mathjax_path_from"'_'"$mathjax_path_to"'_' \
-                                                -e '\_<script type="application/vnd\.jupyter\.widget-state\+json">_,\_</script>_ d')
+                                                -e 's:'"$mathjax_path_from"':'"$mathjax_path_to"':' \
+                                                -e '\:<script type="application/vnd\.jupyter\.widget-state\+json">:,\:</script>: d')
           # Create git repo from old doc
           (cd /sage/local/share/doc/sage/html/en && \
            git init && \
@@ -135,7 +135,7 @@ jobs:
           echo '## Preview of CHANGES.html'
           # Wipe out chronic diffs between old doc and new doc
           (cd /sage/local/share/doc/sage/html/en && \
-           find . -name "*.html" | xargs sed -i -e '\_<script type="application/vnd\.jupyter\.widget-state\+json">_,\_</script>_ d')
+           find . -name "*.html" | xargs sed -i -e '\:<script type="application/vnd\.jupyter\.widget-state\+json">:,\:</script>: d')
           # Create CHANGES.html
           echo '<html>' > ./docs/CHANGES.html
           echo '<head>' >> ./docs/CHANGES.html
