summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGeorg Brandl <georg@python.org>2020-09-01 14:17:47 +0200
committerGeorg Brandl <georg@python.org>2020-09-01 14:17:47 +0200
commitceaad0372055ed0064121020fea032fdda429779 (patch)
tree02f5a5831959c8a5039216bab8c8a21ea64169a1 /doc
parent54b1d0e2022bf97f3cee61cbb251b73e94ed8bcf (diff)
downloadpygments-git-ceaad0372055ed0064121020fea032fdda429779.tar.gz
demo: rebuild WASM with every push
Diffstat (limited to 'doc')
-rw-r--r--doc/_static/demo.js3
-rw-r--r--doc/_templates/demo.html3
2 files changed, 1 insertions, 5 deletions
diff --git a/doc/_static/demo.js b/doc/_static/demo.js
index 872c2348..f538492e 100644
--- a/doc/_static/demo.js
+++ b/doc/_static/demo.js
@@ -23,9 +23,6 @@ languagePluginLoader.then(() => {
}
}
- var ver = pyodide.runPython('pygments.__version__');
- document.getElementById("try-version").innerText = "Pygments version: " + ver;
-
document.getElementById("hlbtn").disabled = false;
document.getElementById("loading").style.display = "none";
});
diff --git a/doc/_templates/demo.html b/doc/_templates/demo.html
index fc511014..6a60df7d 100644
--- a/doc/_templates/demo.html
+++ b/doc/_templates/demo.html
@@ -16,10 +16,9 @@
<h1>Demo - Try it out!</h1>
<p>The highlighting here is performed in-browser using
- a WebAssembly translation of Pygments, courtesy of
+ a WebAssembly translation of the latest Pygments master branch, courtesy of
<a href="https://github.com/iodide-project/pyodide">Pyodide</a>.</p>
<p>Your content is neither sent over the web nor stored anywhere.</p>
-<p id="try-version"></p>
<div id="try">
<h2>Enter code and select a language</h2>