|
66 | 66 | (cd /sage/local/share/doc/sage/html/en && \ |
67 | 67 | find . -name "*.html" | xargs sed -i -e '/class="sidebar-brand-text"/ s/Sage [0-9a-z.]* /Sage '"$new_version"' /' \ |
68 | 68 | -e 's;'"$mathjax_path_from"';'"$mathjax_path_to"';' \ |
69 | | - -e '\;<script type="application/vnd\.jupyter\.widget-state\+json">;,\;</script>; d') |
| 69 | + -e '\;<script type="application/vnd\.jupyter\.widget-state+json">;,\;</script>; d') |
70 | 70 | # Create git repo from old doc |
71 | 71 | (cd /sage/local/share/doc/sage/html/en && \ |
72 | 72 | git init && \ |
@@ -132,10 +132,9 @@ jobs: |
132 | 132 | set -ex |
133 | 133 | mkdir -p ./docs |
134 | 134 | (cd /sage/local/share/doc/sage/html/en && git commit -a -m 'new') |
135 | | - echo '## Preview of CHANGES.html' |
136 | 135 | # Wipe out chronic diffs between old doc and new doc |
137 | 136 | (cd /sage/local/share/doc/sage/html/en && \ |
138 | | - find . -name "*.html" | xargs sed -i -e '\;<script type="application/vnd\.jupyter\.widget-state\+json">;,\;</script>; d') |
| 137 | + find . -name "*.html" | xargs sed -i -e '\;<script type="application/vnd\.jupyter\.widget-state+json">;,\;</script>; d') |
139 | 138 | # Create CHANGES.html |
140 | 139 | echo '<html>' > ./docs/CHANGES.html |
141 | 140 | echo '<head>' >> ./docs/CHANGES.html |
@@ -182,8 +181,7 @@ jobs: |
182 | 181 | cat ./docs/diff.html >> ./docs/CHANGES.html |
183 | 182 | echo '</body>' >> ./docs/CHANGES.html |
184 | 183 | echo '</html>' >>./docs/CHANGES.html |
185 | | - # Preview of changes |
186 | | - echo '## Preview of diff.txt'; head -n 400 ./docs/diff.txt |
| 184 | + rm .docs/diff.txt .docs/diff.html |
187 | 185 | (cd /sage/local/share/doc/sage/html/en && git reset --hard HEAD) |
188 | 186 | # For some reason the deploy step below cannot find /sage/... |
189 | 187 | # So copy everything from there to local folder |
|
0 commit comments