@@ -142,6 +142,24 @@ jobs:
142142 echo '<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/styles/default.min.css">' >> ./docs/CHANGES.html
143143 echo '<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/highlight.min.js"></script>' >> ./docs/CHANGES.html
144144 echo '<script>hljs.highlightAll();</script>' >> ./docs/CHANGES.html
145+ cat >> ./docs/CHANGES.html << EOF
146+ <script>
147+ document.addEventListener('DOMContentLoaded', () => {
148+ const diffSite = 'https://pianomister.github.io/diffsite/'
149+ const baseDocURL = 'https://sagemath-tobias.netlify.app/'
150+ const diffParagraphs = document.querySelectorAll('p.diff');
151+ diffParagraphs.forEach(paragraph => {
152+ const rootURL = window.location.origin;
153+ const docAnchor = paragraph.querySelector('a');
154+ const path = docAnchor.href;
155+ const anchor = document.createElement('a');
156+ anchor.href = diffSite + '?url1=' + rootURL + path + '&url2=' + baseDocURL + path;
157+ anchor.textContent = 'diffsite';
158+ paragraph.appendChild(anchor);
159+ });
160+ });
161+ </script>
162+ EOF
145163 echo '</head>' >> ./docs/CHANGES.html
146164 echo '<body>' >> ./docs/CHANGES.html
147165 (cd /sage/local/share/doc/sage/html/en && git diff HEAD^; rm -rf .git) > ./docs/diff.txt
@@ -155,7 +173,7 @@ jobs:
155173 match = re.search(r'^diff --git a/(.*) b/\1', block, flags=re.MULTILINE)
156174 if match:
157175 path = match.group(1)
158- out_blocks.append(f'<p><a href="{path}">{path}</a></p>\n<pre><code class="language-diff">\n' + html.escape(block).strip() + '\n</code></pre>')
176+ out_blocks.append(f'<p class='diff' ><a href="{path}">{path}</a></p>\n<pre><code class="language-diff">\n' + html.escape(block).strip() + '\n</code></pre>')
159177 output_text = '\n'.join(out_blocks)
160178 with open('./docs/diff.html', 'w') as f:
161179 f.write(output_text)
0 commit comments