.github/workflows/doc-build.yml: Normalize Sage version in output bef…

…ore comparing

.github/workflows/doc-build.yml

@@ -49,7 +49,7 @@ jobs:
           if [ ! -f worktree-image/.gitignore ]; then cp .gitignore worktree-image/; fi
           (cd worktree-image && git add -A && git commit --allow-empty -m "old" -a && git tag -f old && git reset --hard new && git reset old)
           # Keep track of changes to built HTML
-          (cd /sage/local/share/doc/sage/html && git init && git add -A && git commit -m "old")
+          (cd /sage/local/share/doc/sage/html && find . -name "*.html" | xargs sed -i '/class="sidebar-brand-text"/s/Sage [0-9a-z.]* /Sage dev /'; git init && git add -A && git commit -m "old")
           # Now re-bootstrap and build. The build is incremental because we were careful with the timestamps.
           (cd worktree-image && ./bootstrap && make doc-html)
         env:
@@ -60,8 +60,8 @@ jobs:
         run: |
           mkdir -p ./docs
           # Create changelog
-          (cd /sage/local/share/doc/sage/html/en && git diff --name-only && rm -rf .git) | tee  ./docs/CHANGES.txt
-          sed -E 's,(.*),<p><a href="\1">\1</a>,' ./docs/CHANGES.txt > .docs/CHANGES.html
+          (cd /sage/local/share/doc/sage/html/en && find . -name "*.html" | xargs sed -i '/class="sidebar-brand-text"/s/Sage [0-9a-z.]* /Sage dev /'; git diff --name-only && rm -rf .git) | tee  ./docs/CHANGES.txt
+          sed -E 's,(.*),<p><a href="\1">\1</a>,' ./docs/CHANGES.txt > ./docs/CHANGES.html
           # For some reason the deploy step below cannot find /sage/...
           # So copy everything from there to local folder
           # We also need to replace the symlinks because netlify is not following them